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.sig | 2 --
 1 file changed, 2 deletions(-)

(limited to 'src/settings.sig')

diff --git a/src/settings.sig b/src/settings.sig
index d4bb4b08..e94832e0 100644
--- a/src/settings.sig
+++ b/src/settings.sig
@@ -281,8 +281,6 @@ signature SETTINGS = sig
 
     val setSqlcache : bool -> unit
     val getSqlcache : unit -> bool
-    val setSqlcacheHeuristic : string -> unit
-    val getSqlcacheHeuristic : unit -> string
 
     val setFilePath : string -> unit
     (* Sets the directory where we look for files being added below. *)
-- 
cgit v1.2.3