projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 115511f) | patch
Fix type issue with term formula removal (#5107)
authorAndrew Reynolds <andrew.j.reynolds@gmail.com>
Wed, 23 Sep 2020 01:06:42 +0000 (20:06 -0500)
committerGitHub <noreply@github.com>
Wed, 23 Sep 2020 01:06:42 +0000 (20:06 -0500)
commit56f2e6dc41fa5fbeff1755978fa1854e800846b5
treea80823831c0f032fe769d518afa48f5cf3e2f3f4tree
parent115511f6c5732cac1c3718d365d1cf5596541c95commit | diff
Fix type issue with term formula removal (#5107)

We currently are using lookups with uint32_t but storing with int32_t. Somehow the compilers don't complain, but I noticed this was mismatched.
src/smt/term_formula_removal.h diff | blob | history