projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: fc618e8) | patch
Fix warnings in src/proof
authorAndres Notzli <andres.noetzli@gmail.com>
Wed, 27 Jul 2016 04:07:24 +0000 (21:07 -0700)
committerAndres Notzli <andres.noetzli@gmail.com>
Wed, 27 Jul 2016 04:07:24 +0000 (21:07 -0700)
commit490489a78beca486df5d4a0d8b7704e6235ca6fc
treeb0674f1f2ec1969d7422aa8ff21b4905a861a052tree
parentfc618e8c18a19012384ae1585fefc9ce11f55d71commit | diff
Fix warnings in src/proof

Fix warning due to `ProofLetCount` being defined as `struct` in
`proof_utils.h` and `class` in `proof.h`. Fix warnings due to different
number of arguments of `printConstantDisequalityProof()` and
`printTheoryLemmaProof()` in subclasses.
src/proof/bitvector_proof.cpp diff | blob | history
src/proof/bitvector_proof.h diff | blob | history
src/proof/proof_utils.h diff | blob | history
src/proof/theory_proof.cpp diff | blob | history
src/proof/theory_proof.h diff | blob | history