Fix issue 110. Set useImport to true when trying to registerTopLevelDecls

in MakeAbstractSignature.

1 files changed, 1 insertions, 1 deletions

diff --git a/Source/Dafny/Resolver.cs b/Source/Dafny/Resolver.cs
index 52845c3f..9dc0f829 100644
--- a/Source/Dafny/Resolver.cs
+++ b/Source/Dafny/Resolver.cs
@@ -1269,7 +1269,7 @@ namespace Microsoft.Dafny
       foreach (var kv in p.TopLevels) {

         mod.TopLevelDecls.Add(CloneDeclaration(kv.Value, mod, mods, Name));

       }

-      var sig = RegisterTopLevelDecls(mod, false);

+      var sig = RegisterTopLevelDecls(mod, true);

       sig.Refines = p.Refines;

       sig.CompileSignature = p;

       sig.IsAbstract = p.IsAbstract;