From fd1a963a81327f7b6a20a0f2ac131d2525649400 Mon Sep 17 00:00:00 2001
From: Adam Chlipala <adamc@hcoop.net>
Date: Tue, 7 Apr 2009 14:11:32 -0400
Subject: Track uniqueness sets in table types

---
 src/elab.sml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'src/elab.sml')

diff --git a/src/elab.sml b/src/elab.sml
index dd2952d2..c31483ec 100644
--- a/src/elab.sml
+++ b/src/elab.sml
@@ -166,7 +166,7 @@ datatype decl' =
        | DFfiStr of string * int * sgn
        | DConstraint of con * con
        | DExport of int * sgn * str
-       | DTable of int * string * int * con * exp
+       | DTable of int * string * int * con * exp * con
        | DSequence of int * string * int
        | DClass of string * int * kind * con
        | DDatabase of string
-- 
cgit v1.2.3