From 34a68b3dca1fff4cabc86bc692b22b4a88c5152c Mon Sep 17 00:00:00 2001
From: wuestholz <unknown>
Date: Mon, 26 Jan 2015 22:24:28 +0100
Subject: Minor change

---
 Source/VCGeneration/VC.cs | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'Source/VCGeneration')

diff --git a/Source/VCGeneration/VC.cs b/Source/VCGeneration/VC.cs
index 8a549e9d..45ce6a02 100644
--- a/Source/VCGeneration/VC.cs
+++ b/Source/VCGeneration/VC.cs
@@ -557,7 +557,7 @@ namespace VC {
         this.gotoCmdOrigins = gotoCmdOrigins;
         this.parent = par;
         this.impl = impl;
-        this.id = current_id++;
+        this.id = Interlocked.Increment(ref current_id);
       }
 
       public double Cost {
-- 
cgit v1.2.3