Mercurial > urweb

diff src/mono_print.sml @ 183:c0ea24dcb86f

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Optimizing 'case' in Mono_reduce
author Adam Chlipala <adamc@hcoop.net>
date Sun, 03 Aug 2008 13:30:27 -0400
parents d11754ffe252
children 19ee24bffbc0
line wrap: on
line diff
--- a/src/mono_print.sml	Sun Aug 03 12:43:20 2008 -0400
+++ b/src/mono_print.sml	Sun Aug 03 13:30:27 2008 -0400
@@ -143,7 +143,7 @@
                                                space,
                                                string "=>",
                                                space,
-                                               p_exp (E.pushERel env x t) e])
+                                               p_exp (E.pushERel env x t NONE) e])
 
       | ERecord xes => box [string "{",
                             p_list (fn (x, e, _) =>