From 1145290f6ac5b13fe94772c692caa3cdb55bbf5f Mon Sep 17 00:00:00 2001
From: Adam Chlipala <adamc@hcoop.net>
Date: Sat, 1 Nov 2008 16:08:39 -0400
Subject: Explify 'let'

---
 src/expl.sml | 2 ++
 1 file changed, 2 insertions(+)

(limited to 'src/expl.sml')

diff --git a/src/expl.sml b/src/expl.sml
index 2e96db54..8f531516 100644
--- a/src/expl.sml
+++ b/src/expl.sml
@@ -98,6 +98,8 @@ datatype exp' =
 
        | EWrite of exp
 
+       | ELet of string * con * exp * exp
+
 withtype exp = exp' located
 
 datatype sgn_item' =
-- 
cgit v1.2.3