From: Alex Ozdemir <aozdemir@hmc.edu>
Date: Mon, 17 Aug 2020 23:28:58 +0000 (-0700)
Subject: Add identifier name for side condition. (#4902)
X-Git-Tag: cvc5-1.0.0~2992
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=835c79635e241366feec5fa34656dc98d1a77fef;p=cvc5.git

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.
---

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