src/Pure/proof_general.ML

--- a/src/Pure/proof_general.ML	Mon Aug 23 17:06:18 2004 +0200
+++ b/src/Pure/proof_general.ML	Mon Aug 23 18:31:18 2004 +0200
@@ -393,7 +393,7 @@
 fun try_update_thy_only file =
   ThyLoad.cond_add_path (Path.dir (Path.unpack file)) (fn () =>
     let val name = thy_name file in
-      if is_some (ThyLoad.check_file (ThyLoad.thy_path name)) 
+      if is_some (ThyLoad.check_file None (ThyLoad.thy_path name)) 
       then update_thy_only name
       else warning ("Unkown theory context of ML file." ^ which_context ())
     end) ();