src/Pure/ROOT.ML

--- a/src/Pure/ROOT.ML	Wed Mar 12 22:44:55 2014 +0100
+++ b/src/Pure/ROOT.ML	Wed Mar 12 22:57:50 2014 +0100
@@ -233,7 +233,7 @@
 (*basic proof engine*)
 use "Isar/proof_display.ML";
 use "Isar/attrib.ML";
-use "ML/ml_antiquote.ML";
+use "ML/ml_antiquotation.ML";
 use "Isar/context_rules.ML";
 use "Isar/method.ML";
 use "Isar/proof.ML";