From a0d66adaeceaa07e4006a0570211f7453a5b5738 Mon Sep 17 00:00:00 2001
From: Ziv Scully <ziv@mit.edu>
Date: Fri, 20 Nov 2015 03:26:21 -0500
Subject: Tweak cache consolidation and choose better default.

---
 src/main.mlton.sml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'src/main.mlton.sml')

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");
-- 
cgit v1.2.3