author | wenzelm |
Mon, 11 Feb 2002 17:30:58 +0100 | |
changeset 12874 | 368966ceafe5 |
child 12991 | 1bfa0670f592 |
permissions | -rw-r--r-- |
(* Title: Pure/ML-Systems/smlnj.ML ID: $Id$ Author: Markus Wenzel, LMU Muenchen License: GPL (GNU GENERAL PUBLIC LICENSE) Compatibility tweak for later versions of Standard ML of New Jersey 110. *) structure Compiler = struct structure Control = Control; structure PrettyPrint = PrettyPrint; structure PPTable = CompilerPPTable; structure Interact = Backend.Interact; end;