From b468bb361f8b98bcb6b9d0febab4f285a6a872b3 Mon Sep 17 00:00:00 2001 From: Tim King Date: Thu, 13 Oct 2016 00:22:24 -0700 Subject: Revert "Merge branch 'origin' of https://github.com/CVC4/CVC4.git" This reverts commit 3395c5c13cd61d98aec0d9806e3b9bc3d707968a, reversing changes made to 5f415d4585134612bc24e9a823289fee35541a01. --- src/proof/bitvector_proof.cpp | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'src/proof') diff --git a/src/proof/bitvector_proof.cpp b/src/proof/bitvector_proof.cpp index 8c6af5c34..cbe54ff4b 100644 --- a/src/proof/bitvector_proof.cpp +++ b/src/proof/bitvector_proof.cpp @@ -835,7 +835,7 @@ void LFSCBitVectorProof::printTermBitblasting(Expr term, std::ostream& os) { case kind::BITVECTOR_SHL : case kind::BITVECTOR_LSHR : case kind::BITVECTOR_ASHR : { - // these are terms for which bit-blasting is not supported yet + // these are terms for which bit-blasting is not supported yet std::ostringstream paren; os <<"(trust_bblast_term _ "; paren <<")"; -- cgit v1.2.3