Fix merge

dafny-lang · Jul 1, 2023 · 086b484 · 086b484
1 parent 408efd0
commit 086b484
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/Source/DafnyCore/AST/Modules/ModuleDefinition.cs b/Source/DafnyCore/AST/Modules/ModuleDefinition.cs
@@ -765,7 +765,7 @@ public ModuleSignature RegisterTopLevelDecls(ModuleResolver resolver, bool useIm
     return sig;
   }
 
-  private void DetermineReferenceTypes(Resolver resolver, ModuleSignature sig) {
+  private void DetermineReferenceTypes(ModuleResolver resolver, ModuleSignature sig) {
     // Figure out which TraitDecl's are reference types, and for each of them, create a corresponding NonNullTypeDecl.
     // To figure this out, we need to look at the parents of each TraitDecl, but those parents have not yet been resolved.
     // Since we just need the head of each parent, we'll do that name resolution here (and will redo it later, when each parent