From c81c24b4feb3fae3c13861f1bcaafab697a6bb7e Mon Sep 17 00:00:00 2001
From: Adam Chlipala <adamc@hcoop.net>
Date: Sun, 14 Sep 2008 11:02:18 -0400
Subject: SQL sequences

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

(limited to 'src/cjr_env.sml')

diff --git a/src/cjr_env.sml b/src/cjr_env.sml
index fc4833da..49e86140 100644
--- a/src/cjr_env.sml
+++ b/src/cjr_env.sml
@@ -163,6 +163,7 @@ fun declBinds env (d, loc) =
                       pushENamed env fx n t
                   end) env vis
       | DTable _ => env
+      | DSequence _ => env
       | DDatabase _ => env
       | DPreparedStatements _ => env
 
-- 
cgit v1.2.3