From 410f5f902ea5b94ef79c8c4e01fd2eb35a971184 Mon Sep 17 00:00:00 2001
From: Adam Chlipala <adamc@hcoop.net>
Date: Thu, 2 Apr 2009 11:42:26 -0400
Subject: On start-up, delete/nullify rows mentioning clients or channels

---
 src/mono_shake.sml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'src/mono_shake.sml')

diff --git a/src/mono_shake.sml b/src/mono_shake.sml
index 475c4895..343ec728 100644
--- a/src/mono_shake.sml
+++ b/src/mono_shake.sml
@@ -45,7 +45,7 @@ fun shake file =
     let
         val page_es = List.foldl
                           (fn ((DExport (_, _, n, _, _), _), page_es) => n :: page_es
-                            | ((DDatabase (_, n), _), page_es) => n :: page_es
+                            | ((DDatabase {expunge = n1, initialize = n2, ...}, _), page_es) => n1 :: n2 :: page_es
                             | (_, page_es) => page_es) [] file
 
         val (cdef, edef) = foldl (fn ((DDatatype (_, n, xncs), _), (cdef, edef)) =>
-- 
cgit v1.2.3