diff options
Diffstat (limited to 'base/misc.cc')
| -rw-r--r-- | base/misc.cc | 5 |
1 files changed, 0 insertions, 5 deletions
diff --git a/base/misc.cc b/base/misc.cc index 075ed2af8..0c459352f 100644 --- a/base/misc.cc +++ b/base/misc.cc @@ -61,11 +61,6 @@ __panic(const string &format, cp::ArgList &args, const char *func, delete &args; -#if TRACING_ON - // dump trace buffer, if there is one - Trace::theLog.dump(cerr); -#endif - abort(); } |