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
treeb0674f1f2ec1969d7422aa8ff21b4905a861a052
parentfc618e8c18a19012384ae1585fefc9ce11f55d71
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
src/proof/bitvector_proof.h
src/proof/proof_utils.h
src/proof/theory_proof.cpp
src/proof/theory_proof.h