Fixing

ethereum · Feb 13, 2025 · 48beb62 · 48beb62
1 parent ae72ba7
commit 48beb62
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/cli/cli.hs b/cli/cli.hs
@@ -223,6 +223,7 @@ main = withUtf8 $ do
     , dumpTrace = cmd.trace
     , decomposeStorage = Prelude.not cmd.noDecompose
     , maxNumBranch = cmd.maxBranch
+    , promiseNoReent = cmd.promiseNoReent
     } }
   case cmd of
     Version {} ->putStrLn getFullVersion
@@ -266,7 +267,6 @@ equivalence cmd = do
                             , askSmtIters = cmd.askSmtIterations
                             , loopHeuristic = cmd.loopDetectionHeuristic
                             , rpcInfo = Nothing
-                            , promiseNoReent = cmd.promiseNoReent
                             }
     calldata <- liftIO $ buildCalldata cmd
     solver <- liftIO $ getSolver cmd