src/Pure/simplifier.ML

--- a/src/Pure/simplifier.ML	Wed Mar 12 22:44:55 2014 +0100
+++ b/src/Pure/simplifier.ML	Wed Mar 12 22:57:50 2014 +0100
@@ -144,7 +144,7 @@
 val the_simproc = Name_Space.get o get_simprocs;
 
 val _ = Theory.setup
-  (ML_Antiquote.value (Binding.name "simproc")
+  (ML_Antiquotation.value (Binding.name "simproc")
     (Args.context -- Scan.lift (Parse.position Args.name)
       >> (fn (ctxt, name) =>
         "Simplifier.the_simproc ML_context " ^ ML_Syntax.print_string (check_simproc ctxt name))));