src/Pure/Isar/context_rules.ML

--- a/src/Pure/Isar/context_rules.ML	Sat May 15 22:24:25 2010 +0200
+++ b/src/Pure/Isar/context_rules.ML	Sat May 15 23:16:32 2010 +0200
@@ -203,7 +203,7 @@
 
 fun add a b c x =
   (Scan.lift ((Args.bang >> K a || Args.query >> K c || Scan.succeed b) --
-    Scan.option OuterParse.nat) >> (fn (f, n) => f n)) x;
+    Scan.option Parse.nat) >> (fn (f, n) => f n)) x;
 
 val _ = Context.>> (Context.map_theory
  (Attrib.setup (Binding.name "intro") (add intro_bang intro intro_query)