src/Pure/ML/ml_context.ML
changeset 30588 05f81bbb2614
parent 30574 b9bcc640ed58
child 30589 cbe27c4ef417
     1.1 --- a/src/Pure/ML/ml_context.ML	Thu Mar 19 15:22:53 2009 +0100
     1.2 +++ b/src/Pure/ML/ml_context.ML	Thu Mar 19 15:22:53 2009 +0100
     1.3 @@ -183,6 +183,7 @@
     1.4  local
     1.5  
     1.6  structure P = OuterParse;
     1.7 +structure T = OuterLex;
     1.8  
     1.9  val antiq =
    1.10    P.!!! (P.position P.xname -- Args.parse --| Scan.ahead P.eof)
    1.11 @@ -213,7 +214,7 @@
    1.12              | expand (Antiquote.Antiq x) (scope, background) =
    1.13                  let
    1.14                    val context = Stack.top scope;
    1.15 -                  val (f, context') = antiquotation (Antiquote.read_antiq lex antiq x) context;
    1.16 +                  val (f, context') = antiquotation (T.read_antiq lex antiq x) context;
    1.17                    val (decl, background') = f {background = background, struct_name = struct_name};
    1.18                  in (decl, (Stack.map_top (K context') scope, background')) end
    1.19              | expand (Antiquote.Open _) (scope, background) =