diff options
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 |