From 813e9aa4d196962f47c784aeedeaf1cddf54dc4f Mon Sep 17 00:00:00 2001
From: Adam Chlipala <adamc@hcoop.net>
Date: Sun, 8 Jun 2008 16:02:26 -0400
Subject: Beta reductions for expressions

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

(limited to 'src/core_print.sml')

diff --git a/src/core_print.sml b/src/core_print.sml
index c035ceef..02aeba69 100644
--- a/src/core_print.sml
+++ b/src/core_print.sml
@@ -185,7 +185,7 @@ fun p_exp' par env (e, _) =
 
       | ERecord xes => box [string "{",
                             p_list (fn (x, e) =>
-                                       box [p_con env x,
+                                       box [p_name env x,
                                             space,
                                             string "=",
                                             space,
-- 
cgit v1.2.3