diff options
Diffstat (limited to 'src/rt/memory_region.h')
| -rw-r--r-- | src/rt/memory_region.h | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/src/rt/memory_region.h b/src/rt/memory_region.h index b62f0f51..b483c602 100644 --- a/src/rt/memory_region.h +++ b/src/rt/memory_region.h @@ -19,6 +19,7 @@ private: memory_region *_parent; size_t _live_allocations; array_list<void *> _allocation_list; + const bool _detailed_leaks; const bool _synchronized; lock_and_signal _lock; public: |