From a14e87e56f8e7159442141d74684087d2a6a5bd5 Mon Sep 17 00:00:00 2001 From: Jay McCarthy Date: Thu, 24 Jun 2010 15:31:42 -0600 Subject: [PATCH] Tests original commit: 73b4059adece873e39485e471deb2079710bdad0 --- collects/datalog/pretty.rkt | 6 +++--- 1 file changed, 3 insertions(+), 3 deletions(-) diff --git a/collects/datalog/pretty.rkt b/collects/datalog/pretty.rkt index 92c8120..e58d7d9 100644 --- a/collects/datalog/pretty.rkt +++ b/collects/datalog/pretty.rkt @@ -27,7 +27,7 @@ [(struct literal (_ pred terms)) (h-append (format-datum pred) lparen - (v-concat/s (apply-infix comma (map format-term terms))) + (v-concat/s (apply-infix ", " (map format-term terms))) rparen)])) (define (format-literals ls) (v-concat @@ -40,8 +40,8 @@ (format-literal (clause-head c)) (nest 4 (v-concat/s - (list* (h-append (format-literal (clause-head c)) space (text ":-")) - (apply-infix comma (map format-literal (clause-body c)))))))) + (list* (h-append (format-literal (clause-head c)) space (text ":-") space) + (apply-infix ", " (map format-literal (clause-body c)))))))) (define (format-assertion a) (h-append (format-clause (assertion-clause a)) dot))