Richard Lawrence <richard.lawre...@berkeley.edu> writes: > I dropped the second underscore when I was writing the grammar. Thanks, > Vaisheeswaran, for noticing. Nicolas, IMO we should update the parser > to allow underscores in keys (including at the final character, I > guess).
Done in ab7ff4034e8cd67ae5b5e2cfddfee87082228801. Regards,
