From a6c03fb9cfe236457c357febe05e2169f30df81d Mon Sep 17 00:00:00 2001 From: Max New Date: Mon, 2 Dec 2013 11:55:08 -0600 Subject: [PATCH] Include empty symbol in variable enumeration Please merge into 6.0. (cherry picked from commit 3e1840ac6790a73fb2feed343629c137df5f7d2c) --- pkgs/redex-pkgs/redex-lib/redex/private/enumerator.rkt | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/pkgs/redex-pkgs/redex-lib/redex/private/enumerator.rkt b/pkgs/redex-pkgs/redex-lib/redex/private/enumerator.rkt index 6f6b3f7fd1..caabccb73d 100644 --- 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