From 140f5079a41a0aae9ad3e577c96b443eb5337ca5 Mon Sep 17 00:00:00 2001
From: Adam Chlipala <adamc@hcoop.net>
Date: Thu, 26 Jun 2008 11:32:29 -0400
Subject: Corify efold

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

(limited to 'src/core.sml')

diff --git a/src/core.sml b/src/core.sml
index 07ab4641..78f0cce0 100644
--- a/src/core.sml
+++ b/src/core.sml
@@ -69,6 +69,7 @@ datatype exp' =
 
        | ERecord of (con * exp * con) list
        | EField of exp * con * { field : con, rest : con }
+       | EFold of kind
 
 withtype exp = exp' located
 
-- 
cgit v1.2.3