src/Pure/ROOT.ML
changeset 32169 fbada8ed12e6
parent 32089 568a23753e3a
child 32187 cca43ca13f4f
--- a/src/Pure/ROOT.ML	Fri Jul 24 11:55:34 2009 +0200
+++ b/src/Pure/ROOT.ML	Fri Jul 24 12:00:02 2009 +0200
@@ -120,7 +120,7 @@
 use "variable.ML";
 use "conv.ML";
 use "display_goal.ML";
-use "tctical.ML";
+use "tactical.ML";
 use "search.ML";
 use "tactic.ML";
 use "meta_simplifier.ML";