Mercurial > urweb

diff src/source_print.sml @ 223:bbe5899a9585

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Queries back to working as well as before, after start of refactoring to support grouping
author Adam Chlipala <adamc@hcoop.net>
date Thu, 21 Aug 2008 12:49:29 -0400
parents 5292c0113024
children 71bafe66dbe1
line wrap: on
line diff
--- a/src/source_print.sml	Sat Aug 16 17:50:10 2008 -0400
+++ b/src/source_print.sml	Thu Aug 21 12:49:29 2008 -0400
@@ -156,7 +156,8 @@
                         space,
                         string "::",
                         space,
-                        p_kind k]
+                        p_kind k,
+                        string ")"]
 
       | CTuple cs => box [string "(",
                           p_list p_con cs,