diff options
author | Andres Noetzli <noetzli@stanford.edu> | 2017-12-01 01:55:16 -0800 |
---|---|---|
committer | Andres Noetzli <noetzli@stanford.edu> | 2017-12-01 01:55:16 -0800 |
commit | 9f3ea3328213e08bf39b8ceeea272205255fd7ed (patch) | |
tree | 5529ae23e67418337382fb72944e72d674b0c581 | |
parent | 6d740ab8167fe0f48ea78306d65e2cb8a4de2d09 (diff) |
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.
-rw-r--r-- | src/context/context_mm.cpp | 2 |
1 files changed, 1 insertions, 1 deletions
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 */ } |