--- a/src/HOL/Tools/res_atp.ML Thu Jan 04 21:58:46 2007 +0100
+++ b/src/HOL/Tools/res_atp.ML Fri Jan 05 13:36:32 2007 +0100
@@ -895,7 +895,7 @@
let
val _ = kill_last_watcher()
val (files,thm_names_list) = write_problem_files prob_pathname (ctxt,th)
- val (childin, childout, pid) = Watcher.createWatcher (th, thm_names_list)
+ val (childin, childout, pid) = Watcher.createWatcher (ctxt, th, thm_names_list)
in
last_watcher_pid := SOME (childin, childout, pid, files);
Output.debug ("problem files: " ^ space_implode ", " files);