projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 86cc730) | patch
Remove duplicate declarations in th_bv.plf (#5183)
authorAlex Ozdemir <aozdemir@hmc.edu>
Fri, 2 Oct 2020 12:26:28 +0000 (05:26 -0700)
committerGitHub <noreply@github.com>
Fri, 2 Oct 2020 12:26:28 +0000 (07:26 -0500)
commit16c772966206835c7f380e3a926e51af75ec3584
treeaaa4fe0b6d19089ebce5cbd36aa4c476da9e623dtree
parent86cc730908085942f4df19e3b24ebddc7557396fcommit | diff
Remove duplicate declarations in th_bv.plf (#5183)

I think this is dead code now, but still good to fix.
proofs/signatures/th_bv.plf diff | blob | history