Make sure the Redex pattern language's 'boolean' is rendered as a nonterminal

This commit is contained in:
James Swaine 2013-05-16 16:09:34 -05:00
parent 198a65a5fc
commit a8d981230c

View File

@ -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))