From 2030e3eb63f4b1c92ddc8885f7c937673effc9bd Mon Sep 17 00:00:00 2001 From: Marco Eilers Date: Thu, 26 Sep 2024 15:13:57 +0200 Subject: [PATCH] Fixed accidental change in PR #863 that led to an old state being used after evaluating SeqContains args (#874) --- src/main/scala/rules/Evaluator.scala | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/src/main/scala/rules/Evaluator.scala b/src/main/scala/rules/Evaluator.scala index cbc4292dc..943002243 100644 --- 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) =>