diff src/compiler.mlb @ 1540:659a2f71f5e5

Compiler frees as much memory as possible before passing control to C compiler
author Adam Chlipala <adam@chlipala.net>
date Mon, 15 Aug 2011 11:26:10 -0400
parents 5368deb3764b
children 0d2fdc2cc46c
line wrap: on
line diff
--- a/src/compiler.mlb	Mon Aug 15 10:22:09 2011 -0400
+++ b/src/compiler.mlb	Mon Aug 15 11:26:10 2011 -0400
@@ -1,4 +1,5 @@
 $(SML_LIB)/basis/basis.mlb
+$(SML_LIB)/basis/mlton.mlb
 
 urweb.mlb