diff options
author | Ziv Scully <ziv@mit.edu> | 2015-11-20 03:26:21 -0500 |
---|---|---|
committer | Ziv Scully <ziv@mit.edu> | 2015-11-20 03:26:21 -0500 |
commit | a0d66adaeceaa07e4006a0570211f7453a5b5738 (patch) | |
tree | 581b53bb4d82cac2212320264ce1dc0de8d8f263 /src/main.mlton.sml | |
parent | ff19a9c86b380918f50e294848be06f29b2ba1dd (diff) |
Tweak cache consolidation and choose better default.
Diffstat (limited to 'src/main.mlton.sml')
-rw-r--r-- | src/main.mlton.sml | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/main.mlton.sml b/src/main.mlton.sml index d3d88af9..164ddfbd 100644 --- a/src/main.mlton.sml +++ b/src/main.mlton.sml @@ -163,7 +163,7 @@ fun oneRun args = (Settings.setSqlcache true; doArgs rest) | "-heuristic" :: h :: rest => - (Settings.setSqlcacheHeuristic h; + (Sqlcache.setHeuristic h; doArgs rest) | "-moduleOf" :: fname :: _ => (print (Compiler.moduleOf fname ^ "\n"); |