From 26ad31287745567b98b357de9793a0e795c63334 Mon Sep 17 00:00:00 2001
From: Adam Chlipala <adamc@hcoop.net>
Date: Tue, 7 Apr 2009 16:14:31 -0400
Subject: PRIMARY KEY

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

(limited to 'src/core.sml')

diff --git a/src/core.sml b/src/core.sml
index 687b913f..a8e0de13 100644
--- a/src/core.sml
+++ b/src/core.sml
@@ -130,7 +130,7 @@ datatype decl' =
        | DVal of string * int * con * exp * string
        | DValRec of (string * int * con * exp * string) list
        | DExport of export_kind * int
-       | DTable of string * int * con * string * exp * con
+       | DTable of string * int * con * string * exp * con * exp * con
        | DSequence of string * int * string
        | DDatabase of string
        | DCookie of string * int * con * string
-- 
cgit v1.2.3