diff options
Diffstat (limited to 'src/context/context_mm.cpp')
| -rw-r--r-- | src/context/context_mm.cpp | 10 |
1 files changed, 5 insertions, 5 deletions
diff --git a/src/context/context_mm.cpp b/src/context/context_mm.cpp index 76a2168d1..a9186f5f9 100644 --- a/src/context/context_mm.cpp +++ b/src/context/context_mm.cpp @@ -24,7 +24,7 @@ #include <valgrind/memcheck.h> #endif /* CVC4_VALGRIND */ -#include "base/cvc4_assert.h" +#include "base/check.h" #include "base/output.h" #include "context/context_mm.h" @@ -37,8 +37,8 @@ void ContextMemoryManager::newChunk() { // Increment index to chunk list ++d_indexChunkList; - Assert(d_chunkList.size() == d_indexChunkList, - "Index should be at the end of the list"); + Assert(d_chunkList.size() == d_indexChunkList) + << "Index should be at the end of the list"; // Create new chunk if no free chunk available if(d_freeChunks.empty()) { @@ -105,8 +105,8 @@ void* ContextMemoryManager::newData(size_t size) { newChunk(); res = (void*)d_nextFree; d_nextFree += size; - AlwaysAssert(d_nextFree <= d_endChunk, - "Request is bigger than memory chunk size"); + AlwaysAssert(d_nextFree <= d_endChunk) + << "Request is bigger than memory chunk size"; } Debug("context") << "ContextMemoryManager::newData(" << size << ") returning " << res << " at level " |