src/Pure/Isar/context_rules.ML
changeset 36950 75b8f26f2f07
parent 33519 e31a85f92ce9
child 39557 fe5722fce758
     1.1 --- a/src/Pure/Isar/context_rules.ML	Sat May 15 22:24:25 2010 +0200
     1.2 +++ b/src/Pure/Isar/context_rules.ML	Sat May 15 23:16:32 2010 +0200
     1.3 @@ -203,7 +203,7 @@
     1.4  
     1.5  fun add a b c x =
     1.6    (Scan.lift ((Args.bang >> K a || Args.query >> K c || Scan.succeed b) --
     1.7 -    Scan.option OuterParse.nat) >> (fn (f, n) => f n)) x;
     1.8 +    Scan.option Parse.nat) >> (fn (f, n) => f n)) x;
     1.9  
    1.10  val _ = Context.>> (Context.map_theory
    1.11   (Attrib.setup (Binding.name "intro") (add intro_bang intro intro_query)