Fix bug noticed by mberends++.

jnthn · Aug 22, 2010 · 7d9fec6 · 7d9fec6
1 parent ab1b7bc
commit 7d9fec6
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/dotnet/runtime/Metamodel/SharedTable.cs b/dotnet/runtime/Metamodel/SharedTable.cs
@@ -87,7 +87,7 @@ public sealed class SharedTable
         /// is deserialized. Thus never, ever serialize this ID anywhere; it's
         /// for strictly for per-run scoped caches _only_. You have been warned.
         /// </summary>
-        public long TypeCacheID = Interlocked.Increment(ref TypeCacheIDSource);
+        public long TypeCacheID = Interlocked.Add(ref TypeCacheIDSource, 4);
 
         /// <summary>
         /// Source of type IDs. The lowest one is 4. This is to make the lower