Fixed minor issue.

1 files changed, 2 insertions, 2 deletions

diff --git a/Source/Core/Util.cs b/Source/Core/Util.cs
index f8428942..4afd6f69 100644
--- a/Source/Core/Util.cs
+++ b/Source/Core/Util.cs
@@ -676,13 +676,13 @@ namespace Microsoft.Boogie {
       // any filename extension specified by the user.  We base our

       // calculations on that there is at most one occurrence of @PROC@.

       if (180 <= fileName.Length - 6 + pn.Length) {

-        pn = pn.Substring(0, Math.Max(180 - (fileName.Length - 6), 0)) + "-n" + System.Threading.Interlocked.Increment(ref sequenceNumber);

+        pn = pn.Substring(0, Math.Max(180 - (fileName.Length - 6), 0)) + "-n" + System.Threading.Interlocked.Increment(ref sequenceId);

       }

 

       return fileName.Replace("@PROC@", pn);

     }

 

-    private static int sequenceNumber = 0;

+    private static int sequenceId = -1;

 

   }

 }