removed MayRename which is unnecessary now

boogie-org · Oct 25, 2024 · c59f931 · c59f931
1 parent 934a194
commit c59f931
Show file tree

Hide file tree

Showing 2 changed files with 1 addition and 9 deletions.
diff --git a/Source/Core/AST/Absy.cs b/Source/Core/AST/Absy.cs
@@ -699,8 +699,6 @@ public override string ToString()
     {
       return cce.NonNull(Name);
     }
-
-    public virtual bool MayRename => true;
   }
 
   public class TypeCtorDecl : NamedDeclaration
@@ -1971,8 +1969,6 @@ public DatatypeConstructor(Function func)
       : base(func.tok, func.Name, func.TypeParameters, func.InParams, func.OutParams[0], func.Comment, func.Attributes)
     {
     }
-
-    public override bool MayRename => false;
   }
 
   public class Function : DeclWithFormals

diff --git a/Source/VCExpr/ScopedNamer.cs b/Source/VCExpr/ScopedNamer.cs
@@ -174,11 +174,7 @@ public virtual string GetName(object thing, string inherentName)
       }
 
       var uniqueInherentName = NextFreeName(thing, inherentName);
-      if (thing is NamedDeclaration namedDeclaration && !namedDeclaration.MayRename)
-      {
-        result = uniqueInherentName;
-      }
-      else if (boogieDeterminedNames.Contains(inherentName))
+      if (boogieDeterminedNames.Contains(inherentName))
       {
         result = uniqueInherentName;
       }