diff options
Diffstat (limited to 'src/utils.h')
| -rw-r--r-- | src/utils.h | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/utils.h b/src/utils.h index 1fe2b378..efa203c7 100644 --- a/src/utils.h +++ b/src/utils.h @@ -171,7 +171,7 @@ void report_memory(std::ostream& out, bool report_all = false); #else // ! VERIFY_ON #define VERIFY(x) -#define DO_VERIFY() true +#define DO_VERIFY() false #define TRACE_CTOR(cls, args) #define TRACE_DTOR(cls) |