src/Pure/ROOT.ML

--- a/src/Pure/ROOT.ML	Wed Oct 12 12:20:18 1994 +0100
+++ b/src/Pure/ROOT.ML	Wed Oct 12 16:29:10 1994 +0100
@@ -62,7 +62,7 @@
                            and Tactic=Tactic and Pattern=Pattern);
 structure AxClass = AxClassFun(structure Logic = Logic
   and Goals = Goals and Tactic = Tactic);
-open BasicSyntax Thm Drule Tactical Tactic Goals AxClass;
+open BasicSyntax Thm Drule Tactical Tactic Goals;
 
 structure Pure = struct val thy = pure_thy end;