Closed jkingdon closed 1 year ago
Where we have a label followed by $} (as opposed to $e , $p , etc), that is an error.
Doesn't seem like this case is in the testsuite yet.
Where we have a label followed by $} (as opposed to $e , $p , etc), that is an error.
Doesn't seem like this case is in the testsuite yet.