author | haftmann |
Mon, 02 Oct 2006 23:00:49 +0200 | |
changeset 20833 | 4fcf8ddb54f5 |
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; |