projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 815f2c9) | patch
Adding a missing header include for cvc4_assert.h in smt_engine_check_proof.cpp for...
authorTim King <taking@google.com>
Tue, 29 Dec 2015 09:19:30 +0000 (04:19 -0500)
committerTim King <taking@google.com>
Tue, 29 Dec 2015 09:20:09 +0000 (04:20 -0500)
commit1ce397129214a427a10ff3e33069e315fe13eec1
tree3bde88f454318a3457bcefcbccb54f0333becbe4tree
parent815f2c96856e96e977b725254b65d68fc0323947commit | diff
Adding a missing header include for cvc4_assert.h in smt_engine_check_proof.cpp for when proofs are disabled.
src/smt/smt_engine_check_proof.cpp diff | blob | history