# HG changeset patch
# User blanchet
# Date 1409179238 -7200
# Node ID 663ae2463f32bc23db53e19619fabe707b7efa97
# Parent  f4d8987656b9c52e903af8c44d43b0b59c46c681
added 'OLD_' prefix in front of old solvers

diff -r f4d8987656b9 -r 663ae2463f32 src/HOL/Library/Old_SMT/old_smt_setup_solvers.ML
--- 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