From 652ca797f5c9de9adc198df0c0e8a706807328a6 Mon Sep 17 00:00:00 2001
From: Adam Chlipala <adamc@hcoop.net>
Date: Sun, 31 Aug 2008 09:00:28 -0400
Subject: Corify tables

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

(limited to 'src/core.sml')

diff --git a/src/core.sml b/src/core.sml
index 30bd8b76..a5af04cc 100644
--- a/src/core.sml
+++ b/src/core.sml
@@ -114,6 +114,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
 
 withtype decl = decl' located
 
-- 
cgit v1.2.3