src/HOL/TPTP/atp_export.ML
changeset 43850 7f2cbc713344
parent 43828 e07a2c4cbad8
child 43856 d636b053d4ff
     1.1 --- a/src/HOL/TPTP/atp_export.ML	Sat Jul 16 20:14:58 2011 +0200
     1.2 +++ b/src/HOL/TPTP/atp_export.ML	Sat Jul 16 20:52:41 2011 +0200
     1.3 @@ -122,7 +122,7 @@
     1.4        " " ^ arguments ctxt false "" (seconds 1.0) (K []) ^ " " ^
     1.5        File.shell_path prob_file
     1.6    in
     1.7 -    TimeLimit.timeLimit (seconds 0.3) bash_output command
     1.8 +    TimeLimit.timeLimit (seconds 0.3) Isabelle_System.bash_output command
     1.9      |> fst
    1.10      |> extract_tstplike_proof_and_outcome false true proof_delims
    1.11                                            known_failures