correct indenter contract

7 years ago · 91281379f3
parent 0af8f1aeeb
commit 91281379f3
1 changed files with 1 additions and 1 deletions
--- a/beautiful-racket-demo/jsonic-demo-2/indenter.rkt
+++ b/beautiful-racket-demo/jsonic-demo-2/indenter.rkt
@ -24,7 +24,7 @@
 (contract-out
  [indent-jsonic (((is-a?/c text%)) 
                  (exact-nonnegative-integer?) . ->* .
-                  (or/c exact-nonnegative-integer? #f))]))
+                  (or/c exact-positive-integer? #f))]))
 (module+ test
  (require rackunit)