SemGuS-git / Semgus-Parser

Library and tool for parsing SemGuS specifications
MIT License
4 stars 1 forks source link

Column position for identifiers is off by one #59

Closed kjcjohnson closed 2 years ago

kjcjohnson commented 2 years ago

I was noticing that the reported column position for identifiers points to the whitespace before the identifier, not the identifier itself. I think it's in the S-expression reader, not the parser code, because it's wrong on the raw SemgusToken objects.