src/Pure/Thy/thy_load.ML

--- a/src/Pure/Thy/thy_load.ML	Sat Aug 13 20:20:36 2011 +0200
+++ b/src/Pure/Thy/thy_load.ML	Sat Aug 13 20:41:29 2011 +0200
@@ -167,7 +167,7 @@
     val time = ! Toplevel.timing;
 
     val _ = Present.init_theory name;
-    fun init _ =
+    fun init () =
       begin_theory dir name imports uses parents
       |> Present.begin_theory update_time dir uses;