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/prop/cnf_stream.cpp | |
| parent | ce6c89be30b18a331fd08f843b9d4ee8d6bb1ced (diff) | |
Fix Win32 builds.
Diffstat (limited to 'src/prop/cnf_stream.cpp')
| -rw-r--r-- | src/prop/cnf_stream.cpp | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/prop/cnf_stream.cpp b/src/prop/cnf_stream.cpp index 0d133aa13..ad187aa46 100644 --- a/src/prop/cnf_stream.cpp +++ b/src/prop/cnf_stream.cpp @@ -651,7 +651,7 @@ void TseitinCnfStream::convertAndAssert(TNode node, bool removable, bool negated if(options::proof() || options::unsatCores()) { // Encode the assertion ID in the proof_id to store with generated clauses. uint64_t assertionTableIndex = d_assertionTable.size(); - Assert((uint64_t(proof_id) & 0xffffffff00000000) == 0 && (assertionTableIndex & 0xffffffff00000000) == 0, "proof_id/table_index collision"); + Assert((uint64_t(proof_id) & 0xffffffff00000000llu) == 0 && (assertionTableIndex & 0xffffffff00000000llu) == 0, "proof_id/table_index collision"); d_proofId = assertionTableIndex | (uint64_t(proof_id) << 32); d_assertionTable.push_back(from.isNull() ? node : from); Debug("cores") << "cnf ix " << assertionTableIndex << " asst " << node << " proof_id " << proof_id << " from " << from << endl; |