From 51f2a80dac5c3cd25a27fb5abfdfa50d813ab0b2 Mon Sep 17 00:00:00 2001
From: Adam Chlipala <adamc@hcoop.net>
Date: Tue, 28 Apr 2009 15:04:37 -0400
Subject: A view query works

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

(limited to 'src/expl.sml')

diff --git a/src/expl.sml b/src/expl.sml
index e293c36b..cc40e8b4 100644
--- a/src/expl.sml
+++ b/src/expl.sml
@@ -143,6 +143,7 @@ datatype decl' =
        | DExport of int * sgn * str
        | DTable of int * string * int * con * exp * con * exp * con
        | DSequence of int * string * int
+       | DView of int * string * int * exp * con
        | DDatabase of string
        | DCookie of int * string * int * con
        | DStyle of int * string * int
-- 
cgit v1.2.3