Include empty symbol in variable enumeration

Please merge into 6.0. (cherry picked from commit 3e1840ac67)
2013-12-02 11:55:08 -06:00 · 2013-12-02 11:55:08 -06:00 · a6c03fb9cf
commit a6c03fb9cf
parent 4e348ef603
1 changed files with 1 additions and 1 deletions
--- a/pkgs/redex-pkgs/redex-lib/redex/private/enumerator.rkt
+++ b/pkgs/redex-pkgs/redex-lib/redex/private/enumerator.rkt
@ -926,7 +926,7 @@
  (map/e
   (compose string->symbol list->string)
   (compose string->list symbol->string)
-   (many1/e char/e)))
+   (many/e char/e)))

 (define base/e
  (disj-sum/e #:alternate? #t