From 508290e29047e068b9db4b02485fefd9e3ced81c Mon Sep 17 00:00:00 2001
From: Adam Chlipala <adamc@hcoop.net>
Date: Thu, 28 Aug 2008 14:48:33 -0400
Subject: Transactions and queries, at source level

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

(limited to 'src/elab_print.sml')

diff --git a/src/elab_print.sml b/src/elab_print.sml
index 72453f29..337b1d8a 100644
--- a/src/elab_print.sml
+++ b/src/elab_print.sml
@@ -360,7 +360,7 @@ fun p_exp' par env (e, _) =
                                                                              space,
                                                                              string "=>",
                                                                              space,
-                                                                             p_exp env e]) pes])
+                                                                             p_exp (E.patBinds env p) e]) pes])
 
       | EError => string "<ERROR>"
       | EUnif (ref (SOME e)) => p_exp env e
-- 
cgit v1.2.3