--- a/src/HOL/Tools/ATP/watcher.ML Wed Jul 13 16:07:25 2005 +0200
+++ b/src/HOL/Tools/ATP/watcher.ML Wed Jul 13 16:07:26 2005 +0200
@@ -23,6 +23,8 @@
structure Watcher: WATCHER =
struct
+open ReconPrelim Recon_Transfer
+
val goals_being_watched = ref 0;
(*****************************************)