src/Pure/Thy/term_style.ML

--- a/src/Pure/Thy/term_style.ML	Sat May 15 22:24:25 2010 +0200
+++ b/src/Pure/Thy/term_style.ML	Sat May 15 23:16:32 2010 +0200
@@ -43,7 +43,7 @@
 
 (* style parsing *)
 
-fun parse_single ctxt = OuterParse.position (OuterParse.xname -- Args.parse)
+fun parse_single ctxt = Parse.position (Parse.xname -- Args.parse)
   >> (fn x as ((name, _), _) => fst (Args.context_syntax "style"
        (Scan.lift (the_style (ProofContext.theory_of ctxt) name))
          (Args.src x) ctxt |>> (fn f => f ctxt)));