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