Fix swapped arguments to fold in symbolic evaluator

kadena-io · Jul 14, 2023 · 3222af9 · 3222af9
1 parent 640e39d
commit 3222af9
Showing 1 changed file with 2 additions and 2 deletions.
diff --git a/src-tool/Pact/Analyze/Eval/Core.hs b/src-tool/Pact/Analyze/Eval/Core.hs
@@ -402,8 +402,8 @@ evalCore (ListFold tya tyb (Open vid1 _ (Open vid2 _ f)) a bs)
   S _ bs' <- eval bs
   result <- bfoldrM listBound
     (\sbvb sbva -> fmap _sSbv $
-      withVar vid1 (mkAVal' sbvb) $
-        withVar vid2 (mkAVal' sbva) $
+      withVar vid1 (mkAVal' sbva) $
+        withVar vid2 (mkAVal' sbvb) $
           eval f)
     a' bs'
   pure $ sansProv result