src/HOL/Tools/Sledgehammer/sledgehammer_provers.ML
changeset 43850 7f2cbc713344
parent 43830 954783662daf
child 43856 d636b053d4ff
     1.1 --- a/src/HOL/Tools/Sledgehammer/sledgehammer_provers.ML	Sat Jul 16 20:14:58 2011 +0200
     1.2 +++ b/src/HOL/Tools/Sledgehammer/sledgehammer_provers.ML	Sat Jul 16 20:52:41 2011 +0200
     1.3 @@ -682,7 +682,7 @@
     1.4                      upto conjecture_offset + length hyp_ts + 1
     1.5                    |> map single
     1.6                  val ((output, msecs), (atp_proof, outcome)) =
     1.7 -                  TimeLimit.timeLimit generous_slice_timeout bash_output command
     1.8 +                  TimeLimit.timeLimit generous_slice_timeout Isabelle_System.bash_output command
     1.9                    |>> (if overlord then
    1.10                           prefix ("% " ^ command ^ "\n% " ^ timestamp () ^ "\n")
    1.11                         else