author | wenzelm |
Wed, 13 Jul 2005 16:07:35 +0200 | |
changeset 16813 | 67140ae50e77 |
parent 14981 | e73f8140af78 |
permissions | -rw-r--r-- |
12874 | 1 |
(* Title: Pure/ML-Systems/smlnj.ML |
2 |
ID: $Id$ |
|
3 |
Author: Markus Wenzel, LMU Muenchen |
|
4 |
||
5 |
Compatibility tweak for later versions of Standard ML of New Jersey 110. |
|
6 |
*) |
|
7 |
||
8 |
structure Compiler = |
|
9 |
struct |
|
12991 | 10 |
open Compiler; |
12874 | 11 |
structure Control = Control; |
12 |
structure PrettyPrint = PrettyPrint; |
|
13 |
structure PPTable = CompilerPPTable; |
|
14 |
structure Interact = Backend.Interact; |
|
15 |
end; |