diff src/reduce_local.sml @ 754:8688e01ae469

A view query works
author Adam Chlipala <adamc@hcoop.net>
date Tue, 28 Apr 2009 15:04:37 -0400
parents 9864b64b1700
children ed06e25c70ef
line wrap: on
line diff
--- a/src/reduce_local.sml	Tue Apr 28 14:02:23 2009 -0400
+++ b/src/reduce_local.sml	Tue Apr 28 15:04:37 2009 -0400
@@ -158,6 +158,7 @@
               | DExport _ => d
               | DTable _ => d
               | DSequence _ => d
+              | DView _ => d
               | DDatabase _ => d
               | DCookie _ => d
               | DStyle _ => d