src/Pure/ROOT.ML
changeset 41228 e1fce873b814
parent 40748 591b6778d076
child 41710 11ae688e4e30
--- a/src/Pure/ROOT.ML	Fri Dec 17 16:25:21 2010 +0100
+++ b/src/Pure/ROOT.ML	Fri Dec 17 17:08:56 2010 +0100
@@ -153,7 +153,7 @@
 use "tactical.ML";
 use "search.ML";
 use "tactic.ML";
-use "meta_simplifier.ML";
+use "raw_simplifier.ML";
 use "conjunction.ML";
 use "assumption.ML";
 use "display.ML";