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/settings.sml | 4 ----
 1 file changed, 4 deletions(-)

(limited to 'src/settings.sml')

diff --git a/src/settings.sml b/src/settings.sml
index 073e7883..f9125c64 100644
--- a/src/settings.sml
+++ b/src/settings.sml
@@ -811,10 +811,6 @@ val sqlcache = ref false
 fun setSqlcache b = sqlcache := b
 fun getSqlcache () = !sqlcache
 
-val sqlcacheHeuristic = ref "always"
-fun setSqlcacheHeuristic h = sqlcacheHeuristic := h
-fun getSqlcacheHeuristic () = !sqlcacheHeuristic
-
 structure SM = BinaryMapFn(struct
                            type ord_key = string
                            val compare = String.compare
-- 
cgit v1.2.3