src/Tools/code/code_target.ML
changeset 27372 29a09358953f
parent 27353 71c4dd53d4cb
child 27436 9581777503e9
     1.1 --- a/src/Tools/code/code_target.ML	Thu Jun 26 15:06:28 2008 +0200
     1.2 +++ b/src/Tools/code/code_target.ML	Thu Jun 26 15:06:30 2008 +0200
     1.3 @@ -1843,7 +1843,7 @@
     1.4  
     1.5  (* instrumentalization by antiquotation *)
     1.6  
     1.7 -val ml_code_antiq = (Scan.state >> Context.theory_of) -- Scan.repeat1 Args.term >> (fn (thy, ts) =>
     1.8 +val ml_code_antiq = Args.theory -- Scan.repeat1 Args.term >> (fn (thy, ts) =>
     1.9    let
    1.10      val cs = map (CodeUnit.check_const thy) ts;
    1.11      val (cs', program) = CodeThingol.consts_program thy cs;