Fixed a tricky bug in z3api

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;

         }