diff -r c11adf2b1c1e -r 1bfa0670f592 src/Pure/ML-Systems/smlnj-compiler.ML
--- a/src/Pure/ML-Systems/smlnj-compiler.ML	Thu Feb 28 21:35:07 2002 +0100
+++ b/src/Pure/ML-Systems/smlnj-compiler.ML	Thu Feb 28 21:37:28 2002 +0100
@@ -8,6 +8,7 @@
 
 structure Compiler =
 struct
+  open Compiler;
   structure Control = Control;
   structure PrettyPrint = PrettyPrint;
   structure PPTable = CompilerPPTable;