diff src/settings.sig @ 2301:8d772fbf59c1

Tweak cache consolidation and choose better default.
author Ziv Scully <ziv@mit.edu>
date Fri, 20 Nov 2015 03:26:21 -0500
parents 47d5c94aeeb8
children 6fb9232ade99
line wrap: on
line diff
--- a/src/settings.sig	Thu Nov 19 18:13:01 2015 -0500
+++ b/src/settings.sig	Fri Nov 20 03:26:21 2015 -0500
@@ -281,8 +281,6 @@
 
     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. *)