--- a/src/Pure/pure_setup.ML	Thu Aug 02 11:32:23 2012 +0200
+++ b/src/Pure/pure_setup.ML	Thu Aug 02 12:36:54 2012 +0200
@@ -15,7 +15,8 @@
 (* the Pure theory *)
 
 val _ =
-  Outer_Syntax.command ("theory", Keyword.tag_theory Keyword.thy_begin) "begin theory context"
+  Outer_Syntax.command
+    (("theory", Keyword.tag_theory Keyword.thy_begin), Position.none) "begin theory context"
     (Thy_Header.args >> (fn header =>
       Toplevel.print o
         Toplevel.init_theory