diff options
| author | Andrew Reynolds <andrew.j.reynolds@gmail.com> | 2020-08-15 07:07:28 -0500 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2020-08-15 07:07:28 -0500 |
| commit | a1e951127f7a3af158ca1408e62bd46d5cb065ff (patch) | |
| tree | 222791b1dad319e93d9caed260a098a455b47d35 /.clang-format | |
| parent | dc2748198fb2c404b31a144fcad67379b3089e3d (diff) | |
Minor cleanup related to notifications (#4898)
This includes eliminating TheoryBV's call to eqNotifyNewEqClass and fixing an issue with string's eqNotifyNewEqClass method, which was registering constant integers.
It also removes some unnecessary methods in Theory.
Diffstat (limited to '.clang-format')
0 files changed, 0 insertions, 0 deletions