diff -r 196f40d3ffea -r 5ec4d21889d6 src/HOL/Tools/ATP/watcher.ML
--- a/src/HOL/Tools/ATP/watcher.ML	Fri Apr 08 10:50:02 2005 +0200
+++ b/src/HOL/Tools/ATP/watcher.ML	Fri Apr 08 18:43:39 2005 +0200
@@ -624,7 +624,7 @@
                                                          
                                                           in
                                                              Pretty.writeln(Pretty.str ( (concat[(oct_char "360"), (oct_char "377")])));
-                                                             apply_res_thm reconstr goalstring;
+                                                             Recon_Transfer.apply_res_thm reconstr goalstring;
                                                              Pretty.writeln(Pretty.str  (oct_char "361"));
                                                              killWatcher childpid; () 
                                                           end
@@ -651,7 +651,7 @@
 
                                                             (
                                                                  Pretty.writeln(Pretty.str ( (concat[(oct_char "360"), (oct_char "377")])));
-                                                                 apply_res_thm reconstr goalstring;
+                                                                 Recon_Transfer.apply_res_thm reconstr goalstring;
                                                                  Pretty.writeln(Pretty.str  (oct_char "361"));
                                                                  
                                                                  goals_being_watched := ((!goals_being_watched) - 1);