From 9f3ea3328213e08bf39b8ceeea272205255fd7ed Mon Sep 17 00:00:00 2001 From: Andres Noetzli Date: Fri, 1 Dec 2017 01:55:16 -0800 Subject: [PATCH] Fix build when Valgrind instrumentation enabled My last commit for the Valgrind instrumentation contained a typo that made the nightlies fail. This commit fixes the issue. --- src/context/context_mm.cpp | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/src/context/context_mm.cpp b/src/context/context_mm.cpp index 39af8bd9e..a36d523f7 100644 --- a/src/context/context_mm.cpp +++ b/src/context/context_mm.cpp @@ -74,7 +74,7 @@ ContextMemoryManager::ContextMemoryManager() : d_indexChunkList(0) { #ifdef CVC4_VALGRIND VALGRIND_CREATE_MEMPOOL(this, 0, false); VALGRIND_MAKE_MEM_NOACCESS(d_nextFree, chunkSizeBytes); - d_allocations.push_back(std::vector()); + d_allocations.push_back(std::vector()); #endif /* CVC4_VALGRIND */ } -- 2.30.2