1.1 --- a/src/HOL/Tools/SMT/smt_setup_solvers.ML	Fri Jul 20 22:19:46 2012 +0200
     1.2 +++ b/src/HOL/Tools/SMT/smt_setup_solvers.ML	Fri Jul 20 22:19:46 2012 +0200
     1.3 @@ -23,7 +23,7 @@
     1.4  val remote_prefix = "remote_"
     1.5  fun make_name is_remote name = name |> is_remote ? prefix remote_prefix
     1.6  
     1.7 -fun make_local_avail name () = getenv (name ^ "_INSTALLED") = "yes"
     1.8 +fun make_local_avail name () = getenv (name ^ "_SOLVER") <> ""
     1.9  fun make_remote_avail name () = getenv (name ^ "_REMOTE_SOLVER") <> ""
    1.10  fun make_avail is_remote name =
    1.11    if is_remote then make_remote_avail name