src/HOL/Tools/res_atp.ML
changeset 22012 adf68479ae1b
parent 21999 0cf192e489e2
child 22130 0906fd95e0b5
     1.1 --- a/src/HOL/Tools/res_atp.ML	Thu Jan 04 21:58:46 2007 +0100
     1.2 +++ b/src/HOL/Tools/res_atp.ML	Fri Jan 05 13:36:32 2007 +0100
     1.3 @@ -895,7 +895,7 @@
     1.4      let
     1.5        val _ = kill_last_watcher()
     1.6        val (files,thm_names_list) = write_problem_files prob_pathname (ctxt,th)
     1.7 -      val (childin, childout, pid) = Watcher.createWatcher (th, thm_names_list)
     1.8 +      val (childin, childout, pid) = Watcher.createWatcher (ctxt, th, thm_names_list)
     1.9      in
    1.10        last_watcher_pid := SOME (childin, childout, pid, files);
    1.11        Output.debug ("problem files: " ^ space_implode ", " files);