changeset 12874 | 368966ceafe5 |
child 12991 | 1bfa0670f592 |
12873:d7f8dfaad46d | 12874:368966ceafe5 |
---|---|
1 (* Title: Pure/ML-Systems/smlnj.ML |
|
2 ID: $Id$ |
|
3 Author: Markus Wenzel, LMU Muenchen |
|
4 License: GPL (GNU GENERAL PUBLIC LICENSE) |
|
5 |
|
6 Compatibility tweak for later versions of Standard ML of New Jersey 110. |
|
7 *) |
|
8 |
|
9 structure Compiler = |
|
10 struct |
|
11 structure Control = Control; |
|
12 structure PrettyPrint = PrettyPrint; |
|
13 structure PPTable = CompilerPPTable; |
|
14 structure Interact = Backend.Interact; |
|
15 end; |