commit | a15841cc7d7c60b2c72c091d8048223789f5c4e0 | [log] [tgz] |
---|---|---|
author | Jason Evans <jasone@canonware.com> | Thu Apr 14 02:12:33 2016 -0700 |
committer | Jason Evans <jasone@canonware.com> | Thu Apr 14 02:12:33 2016 -0700 |
tree | 9404a05c87064401b0744e372eaa8f3515cc7171 | |
parent | b2c0d6322d2307458ae2b28545f8a5c9903d7ef5 [diff] |
Fix a compilation error. Fix a compilation error that occurs if Valgrind is not enabled. This regression was caused by b2c0d6322d2307458ae2b28545f8a5c9903d7ef5 (Add witness, a simple online locking validator.).