# HG changeset patch
# User wenzelm
# Date 1121263646 -7200
# Node ID fadf80952202f2e30ffc21be7b54852a38e6f9ce
# Parent  3c339e1c069bb3cd6c0d9220f5c1ba7a051794fd
open ReconPrelim Recon_Transfer;

diff -r 3c339e1c069b -r fadf80952202 src/HOL/Tools/ATP/watcher.ML
--- 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;
 
 (*****************************************)