Merge pull request #1010 from quantified-uncertainty/issue-1007

fix #1007
This commit is contained in:
Ozzie Gooen 2022-08-25 13:34:09 -07:00 committed by GitHub
commit 668756f874
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23

View File

@ -250,8 +250,8 @@ float 'float'
d = [0-9]
boolean 'boolean'
= ('true'/'false')
{ return h.nodeBoolean(text() === 'true')}
= ('true'/'false') ! [a-z]i ! [_$]
{ return h.nodeBoolean(text() === 'true')}
valueConstructor
= recordConstructor