projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 32d08ae) | patch
Fix `TheorySetsPrive::eqNotifyPostMerge()` (#3901)
authorAndres Noetzli <andres.noetzli@gmail.com>
Tue, 3 Mar 2020 04:55:22 +0000 (20:55 -0800)
committerGitHub <noreply@github.com>
Tue, 3 Mar 2020 04:55:22 +0000 (22:55 -0600)
commit1d44edf91762b837adf3db5ed40af9383e883b28
tree46ea1daadf805b812cb8fd4922faef3bf3dc7093tree
parent32d08ae682e6396049ac26c3d26537fb34143cbacommit | diff
Fix `TheorySetsPrive::eqNotifyPostMerge()` (#3901)

A local declaration of `s1` was shadowing `s1`, which meant that the
non-local definition of `s1` could never be not null. This meant that
parts of the code were never run. This commit fixes the issue by
removing the local declaration.
src/theory/sets/theory_sets_private.cpp diff | blob | history