changeset 61794 | 4c232a2ddeab |
parent 61793 | 4c9e1e5a240e |
child 61795 | 16901b0392c6 |
--- a/src/Pure/ML-Systems/ml_compiler_parameters_polyml-5.5.3.ML Sun Dec 06 17:27:42 2015 +0100 +++ /dev/null Thu Jan 01 00:00:00 1970 +0000 @@ -1,12 +0,0 @@ -(* Title: Pure/ML/ml_compiler_parameters_polyml-5.5.3.ML - Author: Makarius - -Additional ML compiler parameters for Poly/ML 5.5.3, or later. -*) - -structure ML_Compiler_Parameters: ML_COMPILER_PARAMETERS = -struct - -fun debug b = [PolyML.Compiler.CPDebug b]; - -end; \ No newline at end of file