diff options
author | 2015-01-26 23:42:31 +0100 | |
---|---|---|
committer | 2015-01-26 23:42:31 +0100 | |
commit | 466cb430e1ae626a73a483bb29d450a196f2c592 (patch) | |
tree | 877a52cbd838ab26145dd5f5143505ed1249b125 /Source/Core/AbsyQuant.cs | |
parent | 88acfa270c5d94547d62b1822c7e4abcd0ea640b (diff) |
Fixed minor issue.
Diffstat (limited to 'Source/Core/AbsyQuant.cs')
-rw-r--r-- | Source/Core/AbsyQuant.cs | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/Source/Core/AbsyQuant.cs b/Source/Core/AbsyQuant.cs index e7783943..86338d30 100644 --- a/Source/Core/AbsyQuant.cs +++ b/Source/Core/AbsyQuant.cs @@ -622,7 +622,7 @@ namespace Microsoft.Boogie { public abstract class QuantifierExpr : BinderExpr {
public Trigger Triggers;
- static int SkolemIds = 0;
+ static int SkolemIds = -1;
public static int GetNextSkolemId() {
return System.Threading.Interlocked.Increment(ref SkolemIds);
}
|