summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorGravatar akashlal <unknown>2011-03-18 06:10:26 +0000
committerGravatar akashlal <unknown>2011-03-18 06:10:26 +0000
commit9bdc7b6ee6b24ee150170e884d827ea7c1013b59 (patch)
tree36227cc7b02d851949a93e0f109e7751e829c6dc
parentb05011878c6ec3aa713d5f5c4ece5825132ce2ca (diff)
Fixed a tricky bug in z3api
-rw-r--r--Source/Provers/Z3api/ContextLayer.cs3
1 files changed, 2 insertions, 1 deletions
diff --git a/Source/Provers/Z3api/ContextLayer.cs b/Source/Provers/Z3api/ContextLayer.cs
index a67530cc..3a9c74ae 100644
--- a/Source/Provers/Z3api/ContextLayer.cs
+++ b/Source/Provers/Z3api/ContextLayer.cs
@@ -127,9 +127,10 @@ namespace Microsoft.Boogie.Z3
{
result = partitionCounter++;
termToPartition.Add(value, result);
+ partitionToValue.Add(null);
object constant = Evaluate(value);
valueToPartition.Add(constant, result);
- partitionToValue.Add(constant);
+ partitionToValue[result] = constant;
}
return result;
}