From cd8701d5e602f64cf05c0e34841431d7bbe8e671 Mon Sep 17 00:00:00 2001
From: Adam Chlipala <adamc@hcoop.net>
Date: Sun, 29 Mar 2009 13:30:01 -0400
Subject: Expunging non-nullable rows

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

(limited to 'src/mono_shake.sml')

diff --git a/src/mono_shake.sml b/src/mono_shake.sml
index 4fd3caeb..475c4895 100644
--- a/src/mono_shake.sml
+++ b/src/mono_shake.sml
@@ -45,6 +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
                             | (_, page_es) => page_es) [] file
 
         val (cdef, edef) = foldl (fn ((DDatatype (_, n, xncs), _), (cdef, edef)) =>
-- 
cgit v1.2.3