From 94b1dbce1ae20ded6b2e8cc519f56ac9e3b39b24 Mon Sep 17 00:00:00 2001
From: Ziv Scully <ziv@mit.edu>
Date: Thu, 19 Nov 2015 17:29:47 -0500
Subject: Add consolidation heuristic options.

---
 src/settings.sml | 4 ++++
 1 file changed, 4 insertions(+)

(limited to 'src/settings.sml')

diff --git a/src/settings.sml b/src/settings.sml
index f9125c64..073e7883 100644
--- a/src/settings.sml
+++ b/src/settings.sml
@@ -811,6 +811,10 @@ 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