From 25658a4755c86ffbda946fb8b97f882f3ce7a724 Mon Sep 17 00:00:00 2001
From: Adam Chlipala <adamc@hcoop.net>
Date: Thu, 14 Aug 2008 13:20:29 -0400
Subject: Parsing and elaborating 'table'

---
 src/source.sml | 2 ++
 1 file changed, 2 insertions(+)

(limited to 'src/source.sml')

diff --git a/src/source.sml b/src/source.sml
index 505dd172..4e4ddc54 100644
--- a/src/source.sml
+++ b/src/source.sml
@@ -78,6 +78,7 @@ datatype sgn_item' =
        | SgiSgn of string * sgn
        | SgiInclude of sgn
        | SgiConstraint of con * con
+       | SgiTable of string * con
 
 and sgn' =
     SgnConst of sgn_item list
@@ -131,6 +132,7 @@ datatype decl' =
        | DConstraint of con * con
        | DOpenConstraints of string * string list
        | DExport of str
+       | DTable of string * con
 
      and str' =
          StrConst of decl list
-- 
cgit v1.2.3