From b23acdaf5ab4ad079ca3c5c445fcf78a87cd7a88 Mon Sep 17 00:00:00 2001 From: Tony Garnock-Jones Date: Tue, 1 Jun 2021 15:37:45 +0200 Subject: [PATCH] Default to text output from preserves-tool --- implementations/racket/preserves/preserves/tool.rkt | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/implementations/racket/preserves/preserves/tool.rkt b/implementations/racket/preserves/preserves/tool.rkt index c44b27e..ee81c86 100644 --- a/implementations/racket/preserves/preserves/tool.rkt +++ b/implementations/racket/preserves/preserves/tool.rkt @@ -7,7 +7,7 @@ (module+ main (require racket/cmdline) (define input-format 'any) - (define output-format 'binary) + (define output-format 'text) (define indent? #t) (define annotations? #t) (define count +inf.0)