diff options
Diffstat (limited to 'browse_trace/browse_trace.cc')
| -rw-r--r-- | browse_trace/browse_trace.cc | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/browse_trace/browse_trace.cc b/browse_trace/browse_trace.cc index abfd6daa..33463ebc 100644 --- a/browse_trace/browse_trace.cc +++ b/browse_trace/browse_trace.cc @@ -273,6 +273,7 @@ int main(int argc, char* argv[]) { search(Current_search_pattern, opposite(Current_search_direction)); } } + tb_clear(); tb_shutdown(); return 0; } |