From 7d9fec658608f12448d680fd600e62192e235307 Mon Sep 17 00:00:00 2001 From: Jonathan Worthington Date: Sun, 22 Aug 2010 19:56:28 +0200 Subject: [PATCH] Fix bug noticed by mberends++. --- dotnet/runtime/Metamodel/SharedTable.cs | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/dotnet/runtime/Metamodel/SharedTable.cs b/dotnet/runtime/Metamodel/SharedTable.cs index 4d11c69..18e85b2 100644 --- 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. /// - public long TypeCacheID = Interlocked.Increment(ref TypeCacheIDSource); + public long TypeCacheID = Interlocked.Add(ref TypeCacheIDSource, 4); /// /// Source of type IDs. The lowest one is 4. This is to make the lower