From c1c6013533ba8eaa3b41924bcd61d99a4da27955 Mon Sep 17 00:00:00 2001 From: Adam Chlipala Date: Tue, 10 Jun 2008 18:28:43 -0400 Subject: Translation to Cjr --- src/mono.sml | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'src/mono.sml') diff --git a/src/mono.sml b/src/mono.sml index a23ec958..c94c3a46 100644 --- a/src/mono.sml +++ b/src/mono.sml @@ -43,7 +43,7 @@ datatype exp' = | EApp of exp * exp | EAbs of string * typ * typ * exp - | ERecord of (string * exp) list + | ERecord of (string * exp * typ) list | EField of exp * string withtype exp = exp' located -- cgit v1.2.3