From 0e95aa2c802d0a4fa54ebf985133eb2584a1d9ba Mon Sep 17 00:00:00 2001
From: Adam Chlipala <adamc@hcoop.net>
Date: Thu, 10 Jul 2008 15:49:14 -0400
Subject: More with attributes and efficient serialization

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

(limited to 'src/mono.sml')

diff --git a/src/mono.sml b/src/mono.sml
index 1099be72..3e9e2638 100644
--- a/src/mono.sml
+++ b/src/mono.sml
@@ -52,6 +52,7 @@ datatype exp' =
        | EStrcat of exp * exp
 
        | EWrite of exp
+       | ESeq of exp * exp
 
 
 withtype exp = exp' located
-- 
cgit v1.2.3