diff options
| -rw-r--r-- | Source/VCGeneration/ConditionGeneration.cs | 2 | ||||
| -rw-r--r-- | Test/test15/Answer | 1 |
2 files changed, 1 insertions, 2 deletions
diff --git a/Source/VCGeneration/ConditionGeneration.cs b/Source/VCGeneration/ConditionGeneration.cs index 0d40bc21..927868b5 100644 --- a/Source/VCGeneration/ConditionGeneration.cs +++ b/Source/VCGeneration/ConditionGeneration.cs @@ -233,7 +233,7 @@ namespace Microsoft.Boogie { var e = (Expr)map.IncarnationMap[v];
if (e == null) continue;
- // if (prevInc[v] == e) continue; // skip unchanged variables
+ if (prevInc[v] == e) continue; // skip unchanged variables
Model.Element elt;
diff --git a/Test/test15/Answer b/Test/test15/Answer index 47bff793..a5ecfb33 100644 --- a/Test/test15/Answer +++ b/Test/test15/Answer @@ -262,7 +262,6 @@ int_2_U -> { }
*** STATE <initial>
Heap -> *8
- F -> *10
this -> *9
*** END_STATE
*** STATE top
|