From 59e90f80efd94c738df349da7d473da9a8a7e81a Mon Sep 17 00:00:00 2001
From: Adam Chlipala <adamc@hcoop.net>
Date: Thu, 6 Nov 2008 10:48:02 -0500
Subject: Cookies through shake2

---
 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 0b81e50e..1a181a68 100644
--- a/src/core.sml
+++ b/src/core.sml
@@ -120,6 +120,7 @@ datatype decl' =
        | DTable of string * int * con * string
        | DSequence of string * int * string
        | DDatabase of string
+       | DCookie of string * int * con * string
 
 withtype decl = decl' located
 
-- 
cgit v1.2.3