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

---
 src/source.sml | 3 ---
 1 file changed, 3 deletions(-)

(limited to 'src/source.sml')

diff --git a/src/source.sml b/src/source.sml
index a0591afb..2a348338 100644
--- a/src/source.sml
+++ b/src/source.sml
@@ -81,11 +81,8 @@ datatype sgn_item' =
        | SgiSgn of string * sgn
        | SgiInclude of sgn
        | SgiConstraint of con * con
-       | SgiTable of string * con
-       | SgiSequence of string
        | SgiClassAbs of string
        | SgiClass of string * con
-       | SgiCookie of string * con
 
 and sgn' =
     SgnConst of sgn_item list
-- 
cgit v1.2.3