From 835c79635e241366feec5fa34656dc98d1a77fef Mon Sep 17 00:00:00 2001 From: Alex Ozdemir Date: Mon, 17 Aug 2020 16:28:58 -0700 Subject: [PATCH] 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. --- test/signatures/drat_test.plf | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) 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 -- 2.30.2