src/Pure/ROOT.ML
changeset 32187 cca43ca13f4f
parent 32169 fbada8ed12e6
child 32361 141e5151b918
--- a/src/Pure/ROOT.ML	Sat Jul 25 00:53:47 2009 +0200
+++ b/src/Pure/ROOT.ML	Sat Jul 25 10:31:27 2009 +0200
@@ -119,7 +119,7 @@
 use "morphism.ML";
 use "variable.ML";
 use "conv.ML";
-use "display_goal.ML";
+use "goal_display.ML";
 use "tactical.ML";
 use "search.ML";
 use "tactic.ML";