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/source.sml | 1 +
 1 file changed, 1 insertion(+)

(limited to 'src/source.sml')

diff --git a/src/source.sml b/src/source.sml
index 6645ae75..9d3eea79 100644
--- a/src/source.sml
+++ b/src/source.sml
@@ -161,6 +161,7 @@ datatype decl' =
        | DExport of str
        | DTable of string * con * exp * exp
        | DSequence of string
+       | DView of string * exp
        | DClass of string * kind * con
        | DDatabase of string
        | DCookie of string * con
-- 
cgit v1.2.3