diff options
author | Alex Ozdemir <aozdemir@hmc.edu> | 2020-08-17 16:28:58 -0700 |
---|---|---|
committer | GitHub <noreply@github.com> | 2020-08-17 16:28:58 -0700 |
commit | 835c79635e241366feec5fa34656dc98d1a77fef (patch) | |
tree | 09ca754c5787abe19be3152c3ddc9ea30598f085 /src | |
parent | e89dbac726ba53a7202929fddadb8cd024ec6791 (diff) |
Add identifier name for side condition. (#4902)
```
(! sc (^ ...)
^ this is the identifier!
```
We require that side-conditions have an identifier. We usually provide
this identifier, but in this one case we did not.
The old lexer accepted the side condition without the identifier. The
new one does not.
Diffstat (limited to 'src')
0 files changed, 0 insertions, 0 deletions