# HG changeset patch
# User wenzelm
# Date 1014928648 -3600
# Node ID 1bfa0670f5924224e05ddb1b4be40dc50b9b585a
# Parent  c11adf2b1c1e8b91f1deab148eb30576df434cdb
tuned;

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;