src/Pure/pure_setup.ML
changeset 48646 91281e9472d8
parent 48641 92b48b8abfe4
     1.1 --- a/src/Pure/pure_setup.ML	Thu Aug 02 11:32:23 2012 +0200
     1.2 +++ b/src/Pure/pure_setup.ML	Thu Aug 02 12:36:54 2012 +0200
     1.3 @@ -15,7 +15,8 @@
     1.4  (* the Pure theory *)
     1.5  
     1.6  val _ =
     1.7 -  Outer_Syntax.command ("theory", Keyword.tag_theory Keyword.thy_begin) "begin theory context"
     1.8 +  Outer_Syntax.command
     1.9 +    (("theory", Keyword.tag_theory Keyword.thy_begin), Position.none) "begin theory context"
    1.10      (Thy_Header.args >> (fn header =>
    1.11        Toplevel.print o
    1.12          Toplevel.init_theory