From 4f190e28ca1f36b85cea29ef79b1c9f163779141 Mon Sep 17 00:00:00 2001
From: Adam Chlipala <adamc@hcoop.net>
Date: Fri, 31 Oct 2008 09:30:22 -0400
Subject: Replace 'with' with '++'

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

(limited to 'src/expl.sml')

diff --git a/src/expl.sml b/src/expl.sml
index 9e35d674..2e96db54 100644
--- a/src/expl.sml
+++ b/src/expl.sml
@@ -90,7 +90,7 @@ datatype exp' =
 
        | ERecord of (con * exp * con) list
        | EField of exp * con * { field : con, rest : con }
-       | EWith of exp * con * exp * { field : con, rest : con }
+       | EConcat of exp * con * exp * con
        | ECut of exp * con * { field : con, rest : con }
        | EFold of kind
 
-- 
cgit v1.2.3