diff options
| author | Andrew Reynolds <andrew.j.reynolds@gmail.com> | 2021-03-08 14:11:24 -0600 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2021-03-08 14:11:24 -0600 |
| commit | 4e2afa2282965f3f54033d43cd990cc0b0a8b200 (patch) | |
| tree | 6fc4b0f3f345b519dcfb1bcc5b1b37edeb1b3b93 /contrib | |
| parent | bcbf146f0786035b0228eb4bcd13eb2bc6ca5f9b (diff) | |
Fix handling of negation of Boolean bound variables in FMF (#6066)
Fixes #5922. We were not correctly handling when a Boolean bound variable was negated.
Diffstat (limited to 'contrib')
0 files changed, 0 insertions, 0 deletions