From 466cb430e1ae626a73a483bb29d450a196f2c592 Mon Sep 17 00:00:00 2001
From: wuestholz <unknown>
Date: Mon, 26 Jan 2015 23:42:31 +0100
Subject: Fixed minor issue.

---
 Source/Core/Absy.cs | 6 +++---
 1 file changed, 3 insertions(+), 3 deletions(-)

(limited to 'Source/Core/Absy.cs')

diff --git a/Source/Core/Absy.cs b/Source/Core/Absy.cs
index 041993a7..9f7e57cf 100644
--- a/Source/Core/Absy.cs
+++ b/Source/Core/Absy.cs
@@ -128,10 +128,10 @@ namespace Microsoft.Boogie {
     public Absy(IToken tok) {
       Contract.Requires(tok != null);
       this._tok = tok;
-      this.uniqueId = System.Threading.Interlocked.Increment(ref AbsyNodeCount);
+      this.uniqueId = System.Threading.Interlocked.Increment(ref CurrentAbsyNodeId);
     }
 
-    private static int AbsyNodeCount = 0;
+    private static int CurrentAbsyNodeId = -1;
 
     // We uniquely number every AST node to make them
     // suitable for our implementation of functional maps.
@@ -162,7 +162,7 @@ namespace Microsoft.Boogie {
     public virtual Absy Clone() {
       Contract.Ensures(Contract.Result<Absy>() != null);
       Absy/*!*/ result = cce.NonNull((Absy/*!*/)this.MemberwiseClone());
-      result.uniqueId = System.Threading.Interlocked.Increment(ref AbsyNodeCount); // BUGBUG??
+      result.uniqueId = System.Threading.Interlocked.Increment(ref CurrentAbsyNodeId); // BUGBUG??
 
       if (InternalNumberedMetadata != null) {
         // This should probably use the lock
-- 
cgit v1.2.3