From a8d981230c09f482ebabc1effc4fbb44892ffc07 Mon Sep 17 00:00:00 2001 From: James Swaine Date: Thu, 16 May 2013 16:09:34 -0500 Subject: [PATCH] Make sure the Redex pattern language's 'boolean' is rendered as a nonterminal --- collects/redex/private/underscore-allowed.rkt | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/collects/redex/private/underscore-allowed.rkt b/collects/redex/private/underscore-allowed.rkt index 2db9e96a11..d43b75aecd 100644 --- a/collects/redex/private/underscore-allowed.rkt +++ b/collects/redex/private/underscore-allowed.rkt @@ -1,3 +1,3 @@ #lang racket/base (provide underscore-allowed) -(define underscore-allowed '(any number string variable variable-not-otherwise-mentioned natural integer real)) +(define underscore-allowed '(any number string variable variable-not-otherwise-mentioned natural integer real boolean))