summaryrefslogtreecommitdiff
path: root/src/source.sml
diff options
context:
space:
mode:
Diffstat (limited to 'src/source.sml')
-rw-r--r--src/source.sml3
1 files changed, 0 insertions, 3 deletions
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