From f4351288c5b57b130c0a75e5e84a445ca513527f Mon Sep 17 00:00:00 2001
From: Adam Chlipala <adamc@hcoop.net>
Date: Thu, 31 Jul 2008 10:06:27 -0400
Subject: Elaborating some basic pattern matching

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

(limited to 'src/source_print.sml')

diff --git a/src/source_print.sml b/src/source_print.sml
index 79f3c254..4bd7e28e 100644
--- a/src/source_print.sml
+++ b/src/source_print.sml
@@ -252,7 +252,7 @@ fun p_exp' par (e, _) =
 
       | ECase (e, pes) => parenIf par (box [string "case",
                                             space,
-                                            p_exp' false e,
+                                            p_exp e,
                                             space,
                                             string "of",
                                             space,
-- 
cgit v1.2.3