Skip to content

Commit

Permalink
m
Browse files Browse the repository at this point in the history
  • Loading branch information
josecorella committed Feb 3, 2025
1 parent f65f821 commit 6bf1936
Showing 1 changed file with 3 additions and 2 deletions.
Original file line number Diff line number Diff line change
Expand Up @@ -2010,9 +2010,10 @@ protected TypeConverter buildConverterFromMethodBodies(
// they will need to wrap and unwrap reference types.
// This is more controlled than exposing
// the NativeWrapper and the Dafny wrapped type.
System.out.println(DafnyNameResolverHelpers.packageNameForNamespace(nameResolver.namespaceForService()));
// System.out.println(DafnyNameResolverHelpers.packageNameForNamespace(nameResolver.namespaceForService()));
System.out.println(nameResolver.serviceShape.getId().getNamespace());
final boolean isDependantModuleType =
ModelUtils. isDependantModuleType(
ModelUtils.isDependantModuleType(
shape,
nameResolver.namespaceForService()
);
Expand Down

0 comments on commit 6bf1936

Please sign in to comment.