diff -r f70e69208a8c -r ceb8a93460b7 src/Tools/Code/code_runtime.ML
--- a/src/Tools/Code/code_runtime.ML	Tue Mar 18 15:29:58 2014 +0100
+++ b/src/Tools/Code/code_runtime.ML	Tue Mar 18 16:16:28 2014 +0100
@@ -354,7 +354,7 @@
 (** Isar setup **)
 
 val _ =
-  Theory.setup (ML_Context.antiquotation @{binding code} Args.term (fn _ => ml_code_antiq));
+  Theory.setup (ML_Antiquotation.declaration @{binding code} Args.term (fn _ => ml_code_antiq));
 
 local