From 5430dbfa3f1c7c0adaabc230e86ffd90e6f923da 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.sml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'src/mono.sml')

diff --git a/src/mono.sml b/src/mono.sml
index 3aa65b6a..95c65fc9 100644
--- a/src/mono.sml
+++ b/src/mono.sml
@@ -122,7 +122,7 @@ datatype decl' =
 
        | DTable of string * (string * typ) list
        | DSequence of string
-       | DDatabase of string
+       | DDatabase of string * int
 
        | DJavaScript of string
 
-- 
cgit v1.2.3