src/Pure/Isar/ROOT.ML

--- a/src/Pure/Isar/ROOT.ML	Mon Oct 08 20:20:13 2007 +0200
+++ b/src/Pure/Isar/ROOT.ML	Mon Oct 08 22:03:21 2007 +0200
@@ -58,6 +58,7 @@
 use "instance.ML";
 use "spec_parse.ML";
 use "specification.ML";
+use "subclass.ML"; (*FIXME improve structure*)
 use "constdefs.ML";
 
 (*toplevel environment*)