From be0c07faab159e4c0d924c9656aa2cb47a363bef Mon Sep 17 00:00:00 2001
From: Adam Chlipala <adamc@hcoop.net>
Date: Thu, 21 Aug 2008 12:49:29 -0400
Subject: Queries back to working as well as before, after start of refactoring
 to support grouping

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

(limited to 'src/print.sml')

diff --git a/src/print.sml b/src/print.sml
index a1efdb96..db6af55c 100644
--- a/src/print.sml
+++ b/src/print.sml
@@ -52,7 +52,7 @@ fun p_list_sep sep f ls =
       | 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)
-- 
cgit v1.2.3