Mercurial > urweb

diff src/core_print.sml @ 802:ef6de4075dc1

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Fix a Core_untangle bug that missed closure variable references; XHTMLize
author Adam Chlipala <adamc@hcoop.net>
date Sat, 16 May 2009 12:41:33 -0400
parents 6271f0e3c272
children 61a1f5c5ae2c
line wrap: on
line diff
--- a/src/core_print.sml	Thu May 14 18:13:09 2009 -0400
+++ b/src/core_print.sml	Sat May 16 12:41:33 2009 -0400
@@ -576,7 +576,7 @@
                                                   space,
                                                   string "constraints",
                                                   space,
-                                                  p_exp env ce]
+                                                  p_exp (E.declBinds env dAll) ce]
       | DSequence (x, n, s) => box [string "sequence",
                                     space,
                                     p_named x n,