tuned;
authorwenzelm
Thu, 28 Feb 2002 21:37:28 +0100
changeset 12991 1bfa0670f592
parent 12990 c11adf2b1c1e
child 12992 c2648d3e67a8
tuned;
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;