src/Tools/Code/code_runtime.ML
changeset 43560 d1650e3720fd
parent 42361 23f352990944
child 43619 3803869014aa
     1.1 --- a/src/Tools/Code/code_runtime.ML	Mon Jun 27 15:03:55 2011 +0200
     1.2 +++ b/src/Tools/Code/code_runtime.ML	Mon Jun 27 16:53:31 2011 +0200
     1.3 @@ -336,7 +336,9 @@
     1.4  
     1.5  (** Isar setup **)
     1.6  
     1.7 -val _ = ML_Context.add_antiq "code" (fn _ => Args.term >> ml_code_antiq);
     1.8 +val _ =
     1.9 +  Context.>> (Context.map_theory
    1.10 +    (ML_Context.add_antiq (Binding.name "code") (fn _ => Args.term >> ml_code_antiq)));
    1.11  
    1.12  local
    1.13