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 /test | |
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 'test')
-rw-r--r-- | test/signatures/drat_test.plf | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/test/signatures/drat_test.plf b/test/signatures/drat_test.plf index e5335a6bb..d66e48f8d 100644 --- a/test/signatures/drat_test.plf +++ b/test/signatures/drat_test.plf @@ -6,7 +6,7 @@ (! a clause (! b clause (! result bool - (! (^ + (! sc (^ (bool_and (bool_eq (clause_eq a b) result) (bool_and |