Max Zinkus
Results
21
comments of
Max Zinkus
Ah, no, I think the actual fix for this is to change `fstarModule`'s `end` from `end="\"me=e-1` to prevent the word-ending `\>` match from consuming the newline.