FIx

ethereum · Dec 3, 2024 · 60b6921 · 60b6921
1 parent 0d2d590
commit 60b6921
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/cli/cli.hs b/cli/cli.hs
@@ -358,7 +358,7 @@ assert cmd = do
   let solverCount = fromMaybe cores cmd.numSolvers
   solver <- liftIO $ getSolver cmd
   withSolvers solver solverCount (fromMaybe 1 cmd.solverThreads) cmd.smttimeout $ \solvers -> do
-    let opts = VeriOpts { simp = True
+    let veriOpts = VeriOpts { simp = True
                         , maxIter = parseMaxIters cmd.maxIterations
                         , askSmtIters = cmd.askSmtIterations
                         , loopHeuristic = cmd.loopDetectionHeuristic