diff options
Diffstat (limited to 'Source/Core/AbsyQuant.cs')
| -rw-r--r-- | Source/Core/AbsyQuant.cs | 3 |
1 files changed, 1 insertions, 2 deletions
diff --git a/Source/Core/AbsyQuant.cs b/Source/Core/AbsyQuant.cs index c5b7b317..e7783943 100644 --- a/Source/Core/AbsyQuant.cs +++ b/Source/Core/AbsyQuant.cs @@ -624,8 +624,7 @@ namespace Microsoft.Boogie { static int SkolemIds = 0;
public static int GetNextSkolemId() {
- SkolemIds++;
- return SkolemIds;
+ return System.Threading.Interlocked.Increment(ref SkolemIds);
}
public readonly int SkolemId;
|