1.1 --- a/src/Pure/ML/ml_context.ML	Sat Aug 09 12:28:13 2008 +0200
     1.2 +++ b/src/Pure/ML/ml_context.ML	Sat Aug 09 22:43:46 2008 +0200
     1.3 @@ -118,7 +118,7 @@
     1.4  structure P = OuterParse;
     1.5  
     1.6  val antiq =
     1.7 -  P.!!! (P.position P.xname -- P.arguments --| Scan.ahead P.eof)
     1.8 +  P.!!! (P.position P.xname -- Args.parse --| Scan.ahead P.eof)
     1.9    >> (fn ((x, pos), y) => Args.src ((x, y), pos));
    1.10  
    1.11  fun eval_antiquotes struct_name (txt, pos) opt_ctxt =