diff src/print.sml @ 223:bbe5899a9585

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 258261a53842
children 71bafe66dbe1
line wrap: on
line diff
--- a/src/print.sml	Sat Aug 16 17:50:10 2008 -0400
+++ b/src/print.sml	Thu Aug 21 12:49:29 2008 -0400
@@ -52,7 +52,7 @@
       | x :: rest =>
         let
             val tokens = foldr (fn (x, tokens) =>
-                                   sep :: f x :: tokens)
+                                   sep :: PD.cut :: f x :: tokens)
                                [] rest
         in
             box (f x :: tokens)