From a735f6ea0ef8ec5895dfe7f895f89ee8c126de14 Mon Sep 17 00:00:00 2001
From: Adam Chlipala <adamc@hcoop.net>
Date: Thu, 28 May 2009 12:07:05 -0400
Subject: Destructing local let, to the point where demo compiles

---
 src/source.sml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'src/source.sml')

diff --git a/src/source.sml b/src/source.sml
index bfa270d8..c5950b36 100644
--- a/src/source.sml
+++ b/src/source.sml
@@ -138,7 +138,7 @@ and exp' =
   | ELet of edecl list * exp
 
 and edecl' =
-    EDVal of string * con option * exp
+    EDVal of pat * exp
   | EDValRec of (string * con option * exp) list
 
 withtype sgn_item = sgn_item' located
-- 
cgit v1.2.3