FIXUP: SMT translation

tlaplus · Nov 15, 2022 · 3f08478 · 3f08478
1 parent 3842f53
commit 3f08478
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/src/backend/prep.ml b/src/backend/prep.ml
@@ -497,7 +497,7 @@ let gen_smt_solve suffix exec desc fmt_expr meth ob org_ob f res_cont comm =
 (* FIXME Remove all the oldsmt code *)
 let get_encode_smtlib () =
   if Params.debugging "oldsmt" then Smt.encode_smtlib
-  else Smt.encode_smtlib
+  else Smtlib.pp_print_obligation
 
 (* FIXME *)
 let get_encode_fof () =