minor

Certora · Oct 31, 2023 · f5aa4d3 · f5aa4d3
1 parent f430aad
commit f5aa4d3
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/docs/prover/techniques/index.md b/docs/prover/techniques/index.md
@@ -53,7 +53,7 @@ worklist.add([input_program_cfg, 0])
 while (worklist != [])
     [cfg, current_depth] = worklist.pop()
 
-    res = check(cfg, get_timeout_for(current_depth))
+    res = smt_check(cfg, get_timeout_for(current_depth))
     when (res) 
         [SAT, model] -> return [SAT, model]
         UNSAT -> continue