Generate unique IDs hierarchically, to reduce changes to IDs when the program is modified (to help with fine-grained caching)

1 files changed, 1 insertions, 1 deletions

diff --git a/Source/Dafny/Compiler.cs b/Source/Dafny/Compiler.cs
index 7fff33c1..aabaf320 100644
--- a/Source/Dafny/Compiler.cs
+++ b/Source/Dafny/Compiler.cs
@@ -30,7 +30,7 @@ namespace Microsoft.Dafny {
     FreshIdGenerator idGenerator = new FreshIdGenerator();

 

     static FreshIdGenerator compileNameIdGenerator = new FreshIdGenerator();

-    public static int FreshId()

+    public static string FreshId()

     {

       return compileNameIdGenerator.FreshNumericId();

     }