Args.theory;
authorwenzelm
Thu Jun 26 15:06:30 2008 +0200 (2008-06-26)
changeset 2737229a09358953f
parent 27371 f89aa7bd4602
child 27373 5794a0e3e26c
Args.theory;
src/Tools/code/code_target.ML
     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;