diff options
author | 2012-02-21 19:33:11 -0800 | |
---|---|---|
committer | 2012-02-21 19:33:11 -0800 | |
commit | 5fe7c065dc6cd7c3e9afd9ce5fade31ff7d7b198 (patch) | |
tree | 5e761ee733f99449ba1d0a069d08751babc2544c /history.cpp | |
parent | e074ad48076f252764c4d17e21a1b17bc86a6dec (diff) |
Squash a bunch of leaks
Diffstat (limited to 'history.cpp')
-rw-r--r-- | history.cpp | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/history.cpp b/history.cpp index f61f47fc..74363a92 100644 --- a/history.cpp +++ b/history.cpp @@ -765,6 +765,7 @@ void history_t::add_with_file_detection(const wcstring &str) } } } + tok_destroy(&tokenizer); if (! potential_paths.empty()) { /* We have some paths. Make a context. */ |