diff options
author | Morgan Deters <mdeters@cs.nyu.edu> | 2014-08-25 11:38:27 -0400 |
---|---|---|
committer | Morgan Deters <mdeters@cs.nyu.edu> | 2014-08-25 11:38:27 -0400 |
commit | 2d33d0ed288841a6a5ee21aa5b253f041deebf10 (patch) | |
tree | 59353d4c2c95252b0dd9b60216f6f6339f747aa3 /src/proof/proof_manager.cpp | |
parent | ce6c89be30b18a331fd08f843b9d4ee8d6bb1ced (diff) |
Fix Win32 builds.
Diffstat (limited to 'src/proof/proof_manager.cpp')
-rw-r--r-- | src/proof/proof_manager.cpp | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/src/proof/proof_manager.cpp b/src/proof/proof_manager.cpp index 0cca16574..87eded8e6 100644 --- a/src/proof/proof_manager.cpp +++ b/src/proof/proof_manager.cpp @@ -174,12 +174,12 @@ void ProofManager::addClause(ClauseId id, const prop::SatClause* clause, ClauseK } else if(options::unsatCores()) { Expr e = d_cnfProof->getAssertion(d_satProof->d_inputClauses[id] & 0xffffffff); Debug("cores") << "core input assertion from CnfStream is " << e << std::endl; - Debug("cores") << "with proof rule " << ((d_satProof->d_inputClauses[id] & 0xffffffff00000000) >> 32) << std::endl; + Debug("cores") << "with proof rule " << ((d_satProof->d_inputClauses[id] & 0xffffffff00000000llu) >> 32) << std::endl; // Invalid proof rules are currently used for parts of CVC4 that don't // support proofs (these are e.g. unproven theory lemmas) or don't need // proofs (e.g. split lemmas). We can ignore these safely when // constructing unsat cores. - if(((d_satProof->d_inputClauses[id] & 0xffffffff00000000) >> 32) != RULE_INVALID) { + if(((d_satProof->d_inputClauses[id] & 0xffffffff00000000llu) >> 32) != RULE_INVALID) { // trace dependences back to actual assertions traceDeps(Node::fromExpr(e)); } |