diff src/settings.sig @ 2299:47d5c94aeeb8

Add consolidation heuristic options.
author Ziv Scully <ziv@mit.edu>
date Thu, 19 Nov 2015 17:29:47 -0500
parents 365727ff68f4
children 8d772fbf59c1
line wrap: on
line diff
--- a/src/settings.sig	Thu Nov 19 16:02:04 2015 -0500
+++ b/src/settings.sig	Thu Nov 19 17:29:47 2015 -0500
@@ -281,6 +281,8 @@
 
     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. *)