diff src/cjr_env.sml @ 338:e976b187d73a

SQL sequences
author Adam Chlipala <adamc@hcoop.net>
date Sun, 14 Sep 2008 11:02:18 -0400
parents 0236d9412ad2
children 162d5308e34f
line wrap: on
line diff
--- a/src/cjr_env.sml	Sat Sep 13 20:15:30 2008 -0400
+++ b/src/cjr_env.sml	Sun Sep 14 11:02:18 2008 -0400
@@ -163,6 +163,7 @@
                       pushENamed env fx n t
                   end) env vis
       | DTable _ => env
+      | DSequence _ => env
       | DDatabase _ => env
       | DPreparedStatements _ => env