I am unsure how relevant this is, but since I stumbled accross it, thinking I mistakenly removed a character, I checked my commits finding it missed upstream.
src/Statement.hh:152
https://github.com/jlab/gapc/blame/5a18ae38272fe7a8b4aa69585ddf9474ab20f67e/src/statement.hh#L152C23-L152C23
I am unsure how relevant this is, but since I stumbled accross it, thinking I mistakenly removed a character, I checked my commits finding it missed upstream.
src/Statement.hh:152
https://github.com/jlab/gapc/blame/5a18ae38272fe7a8b4aa69585ddf9474ab20f67e/src/statement.hh#L152C23-L152C23