projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 6d740ab) | patch
Fix build when Valgrind instrumentation enabled
authorAndres Noetzli <noetzli@stanford.edu>
Fri, 1 Dec 2017 09:55:16 +0000 (01:55 -0800)
committerAndres Noetzli <noetzli@stanford.edu>
Fri, 1 Dec 2017 09:55:16 +0000 (01:55 -0800)
commit9f3ea3328213e08bf39b8ceeea272205255fd7ed
tree5529ae23e67418337382fb72944e72d674b0c581tree
parent6d740ab8167fe0f48ea78306d65e2cb8a4de2d09commit | 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.
src/context/context_mm.cpp diff | blob | history