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.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.hh')
| -rw-r--r-- | src/buffer.hh | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/src/buffer.hh b/src/buffer.hh index c43e1ec0..e9feff66 100644 --- a/src/buffer.hh +++ b/src/buffer.hh @@ -5,6 +5,7 @@ #include "hook_manager.hh" #include "option_manager.hh" #include "keymap_manager.hh" +#include "safe_ptr.hh" #include "string.hh" #include "value.hh" |
