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 39af8bd9ec6e6f0df8f026166bd8a9dd78cc3d7b..a36d523f7595d0bcfe6aa8fc50d89506df8d3abb 100644 (file)
--- 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 */
 }