Default to text output from preserves-tool

2021-06-01 15:37:45 +02:00 · 2021-06-01 15:37:45 +02:00 · b23acdaf5a
parent a44884d9f5
commit b23acdaf5a
1 changed files with 1 additions and 1 deletions
--- 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)