From: Andres Noetzli <noetzli@stanford.edu>
Date: Fri, 1 Dec 2017 09:55:16 +0000 (-0800)
Subject: Fix build when Valgrind instrumentation enabled
X-Git-Tag: cvc5-1.0.0~5438
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=9f3ea3328213e08bf39b8ceeea272205255fd7ed;p=cvc5.git

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.
---

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<void*>());
+  d_allocations.push_back(std::vector<char*>());
 #endif /* CVC4_VALGRIND */
 }