# HG changeset patch
# User wenzelm
# Date 1214485590 -7200
# Node ID 29a09358953f961563a0fa5d3cb40c8992f6fab7
# Parent  f89aa7bd46020f84378225874f3b1e3fb8cec7bc
Args.theory;

diff -r f89aa7bd4602 -r 29a09358953f src/Tools/code/code_target.ML
--- a/src/Tools/code/code_target.ML	Thu Jun 26 15:06:28 2008 +0200
+++ b/src/Tools/code/code_target.ML	Thu Jun 26 15:06:30 2008 +0200
@@ -1843,7 +1843,7 @@
 
 (* instrumentalization by antiquotation *)
 
-val ml_code_antiq = (Scan.state >> Context.theory_of) -- Scan.repeat1 Args.term >> (fn (thy, ts) =>
+val ml_code_antiq = Args.theory -- Scan.repeat1 Args.term >> (fn (thy, ts) =>
   let
     val cs = map (CodeUnit.check_const thy) ts;
     val (cs', program) = CodeThingol.consts_program thy cs;