From 9e860c86c7d9c763deb9d51490a6766d9c72ed25 Mon Sep 17 00:00:00 2001
From: Adam Chlipala <adamc@hcoop.net>
Date: Thu, 24 Jul 2008 10:09:21 -0400
Subject: Record cut

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

(limited to 'src/expl.sml')

diff --git a/src/expl.sml b/src/expl.sml
index 2bb25929..b1a0e389 100644
--- a/src/expl.sml
+++ b/src/expl.sml
@@ -71,6 +71,7 @@ datatype exp' =
 
        | ERecord of (con * exp * con) list
        | EField of exp * con * { field : con, rest : con }
+       | ECut of exp * con * { field : con, rest : con }
        | EFold of kind
 
        | EWrite of exp
-- 
cgit v1.2.3