src/HOL/Tools/ATP/atp_systems.ML
changeset 43850 7f2cbc713344
parent 43690 92f78a4a5628
child 43981 404ae49ce29f
     1.1 --- a/src/HOL/Tools/ATP/atp_systems.ML	Sat Jul 16 20:14:58 2011 +0200
     1.2 +++ b/src/HOL/Tools/ATP/atp_systems.ML	Sat Jul 16 20:52:41 2011 +0200
     1.3 @@ -339,7 +339,7 @@
     1.4  val systems = Synchronized.var "atp_systems" ([] : string list)
     1.5  
     1.6  fun get_systems () =
     1.7 -  case bash_output "\"$ISABELLE_ATP/scripts/remote_atp\" -w 2>&1" of
     1.8 +  case Isabelle_System.bash_output "\"$ISABELLE_ATP/scripts/remote_atp\" -w 2>&1" of
     1.9      (output, 0) => split_lines output
    1.10    | (output, _) =>
    1.11      error (case extract_known_failure known_perl_failures output of