author | wenzelm |
Sat, 11 Feb 2006 17:17:49 +0100 | |
changeset 19014 | f70ced571ba8 |
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; |