diff options
| author | Maxime Coste <frrrwww@gmail.com> | 2014-08-12 00:30:13 +0100 |
|---|---|---|
| committer | Maxime Coste <frrrwww@gmail.com> | 2014-08-12 19:18:10 +0100 |
| commit | d356ae241986282cf33a31874da1d3139960b63d (patch) | |
| tree | 651bb910fa69fec45c9ffc09a47f6096ed492809 /src/buffer_manager.hh | |
| parent | 1b54b65bb59b46718d7485e690835faf695b6410 (diff) | |
Make safe_ptr able to track callstacks
The code stays disabled, as the performance penalty is quite
high, but can be enabled to help debugging safe pointers.
Diffstat (limited to 'src/buffer_manager.hh')
| -rw-r--r-- | src/buffer_manager.hh | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/src/buffer_manager.hh b/src/buffer_manager.hh index a1001ffd..cd7029ea 100644 --- a/src/buffer_manager.hh +++ b/src/buffer_manager.hh @@ -3,6 +3,7 @@ #include "completion.hh" #include "utils.hh" +#include "safe_ptr.hh" #include <unordered_map> |