Mercurial > urweb
diff src/main.mlton.sml @ 2301:8d772fbf59c1
Tweak cache consolidation and choose better default.
author | Ziv Scully <ziv@mit.edu> |
---|---|
date | Fri, 20 Nov 2015 03:26:21 -0500 |
parents | 47d5c94aeeb8 |
children | 6fb9232ade99 |
line wrap: on
line diff
--- a/src/main.mlton.sml Thu Nov 19 18:13:01 2015 -0500 +++ b/src/main.mlton.sml Fri Nov 20 03:26:21 2015 -0500 @@ -163,7 +163,7 @@ (Settings.setSqlcache true; doArgs rest) | "-heuristic" :: h :: rest => - (Settings.setSqlcacheHeuristic h; + (Sqlcache.setHeuristic h; doArgs rest) | "-moduleOf" :: fname :: _ => (print (Compiler.moduleOf fname ^ "\n");