From 4dd9404d036d89d53e096b2fccd395deffc8b094 Mon Sep 17 00:00:00 2001
From: Adam Chlipala <adamc@hcoop.net>
Date: Sun, 3 Jan 2010 12:47:27 -0500
Subject: Proper C-side deserialization; Shake.sliceDb

---
 src/shake.sig | 3 +++
 1 file changed, 3 insertions(+)

(limited to 'src/shake.sig')

diff --git a/src/shake.sig b/src/shake.sig
index 6c617435..2b805dea 100644
--- a/src/shake.sig
+++ b/src/shake.sig
@@ -31,4 +31,7 @@ signature SHAKE = sig
 
     val shake : Core.file -> Core.file
 
+    val sliceDb : bool ref
+    (* Set this to try to delete anything not needed to determine the database schema. *)
+
 end
-- 
cgit v1.2.3