src/Provers/blast.ML

--- a/src/Provers/blast.ML	Wed Mar 17 16:33:00 1999 +0100
+++ b/src/Provers/blast.ML	Wed Mar 17 16:33:47 1999 +0100
@@ -1319,10 +1319,10 @@
 
 fun tryInThy thy lim s = 
     (initialize();
-     timeap prove (sign_of thy, 
+     timeap prove (Theory.sign_of thy, 
 		   startTiming(), 
 		   Data.claset(), 
-		   [initBranch ([readGoal (sign_of thy) s], lim)], 
+		   [initBranch ([readGoal (Theory.sign_of thy) s], lim)], 
 		   I));