--- a/src/HOL/Library/Old_SMT/old_smt_setup_solvers.ML Thu Aug 28 00:40:38 2014 +0200
+++ b/src/HOL/Library/Old_SMT/old_smt_setup_solvers.ML Thu Aug 28 00:40:38 2014 +0200
@@ -20,9 +20,8 @@
(* helper functions *)
-fun make_avail name () = getenv (name ^ "_SOLVER") <> ""
-
-fun make_command name () = [getenv (name ^ "_SOLVER")]
+fun make_avail name () = getenv ("OLD_" ^ name ^ "_SOLVER") <> ""
+fun make_command name () = [getenv ("OLD_" ^ name ^ "_SOLVER")]
fun outcome_of unsat sat unknown solver_name line =
if String.isPrefix unsat line then Old_SMT_Solver.Unsat