Fixed accidental change in PR #863 that led to an old state being use…

…d after evaluating SeqContains args
viperproject · Sep 26, 2024 · 8700106 · 8700106
1 parent 768a8b6
commit 8700106
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/src/main/scala/rules/Evaluator.scala b/src/main/scala/rules/Evaluator.scala
@@ -1032,7 +1032,7 @@ object evaluator extends EvaluationRules {
       /* Sequences */
 
       case ast.SeqContains(e0, e1) => evalBinOp(s, e1, e0, SeqIn, pve, v)((s1, t, e1New, e0New, v1) =>
-        Q(s, t, e0New.map(e0p => ast.SeqContains(e0p, e1New.get)(e.pos, e.info, e.errT)), v1))
+        Q(s1, t, e0New.map(e0p => ast.SeqContains(e0p, e1New.get)(e.pos, e.info, e.errT)), v1))
         /* Note the reversed order of the arguments! */
 
       case ast.SeqIndex(e0, e1) =>