From 43ab3f4cd1aa5549cb1aa3c20a2d589614bcb8fc Mon Sep 17 00:00:00 2001 From: Mathias Preiner Date: Wed, 30 Oct 2019 15:27:10 -0700 Subject: Unify CVC4_CHECK/CVC4_DCHECK/AlwaysAssert/Assert. (#3366) --- src/context/context_mm.cpp | 10 +++++----- 1 file changed, 5 insertions(+), 5 deletions(-) (limited to 'src/context/context_mm.cpp') 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 #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 " -- cgit v1.2.3