| changeset 12991 | 1bfa0670f592 |
| parent 12874 | 368966ceafe5 |
| child 14981 | e73f8140af78 |
--- 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;