summaryrefslogtreecommitdiff
path: root/src/cjr.sml
diff options
context:
space:
mode:
authorGravatar Adam Chlipala <adamc@hcoop.net>2009-03-29 13:30:01 -0400
committerGravatar Adam Chlipala <adamc@hcoop.net>2009-03-29 13:30:01 -0400
commitcd8701d5e602f64cf05c0e34841431d7bbe8e671 (patch)
tree3bd72d9c87173e9ba21a556e5b90841f36e24651 /src/cjr.sml
parent843fcc973f4cf7b149d4f57732fb66f812115320 (diff)
Expunging non-nullable rows
Diffstat (limited to 'src/cjr.sml')
-rw-r--r--src/cjr.sml2
1 files changed, 1 insertions, 1 deletions
diff --git a/src/cjr.sml b/src/cjr.sml
index 688326e4..948b345f 100644
--- a/src/cjr.sml
+++ b/src/cjr.sml
@@ -106,7 +106,7 @@ datatype decl' =
| DTable of string * (string * typ) list
| DSequence of string
- | DDatabase of string
+ | DDatabase of string * int
| DPreparedStatements of (string * int) list
| DJavaScript of string