#0  0x00007ff09705b425 in raise () from /lib/x86_64-linux-gnu/libc.so.6
No symbol table info available.
#1  0x00007ff09705eb8b in abort () from /lib/x86_64-linux-gnu/libc.so.6
No symbol table info available.
#2  0x00007ff0970540ee in ?? () from /lib/x86_64-linux-gnu/libc.so.6
No symbol table info available.
#3  0x00007ff097054192 in __assert_fail () from /lib/x86_64-linux-gnu/libc.so.6
No symbol table info available.
#4  0x00007ff097f31a18 in __pthread_mutex_lock_full () from /lib/x86_64-linux-gnu/libpthread.so.0
No symbol table info available.
#5  0x00007ff09898c2e1 in g_static_rec_mutex_lock () from /lib/x86_64-linux-gnu/libglib-2.0.so.0
No symbol table info available.
#6  0x00007ff09c4eedd0 in grt::UndoManager::reset() () from /usr/lib/mysql-workbench/libgrt.so.0
No symbol table info available.
#7  0x00007ff09c4eef8b in grt::UndoManager::~UndoManager() () from /usr/lib/mysql-workbench/libgrt.so.0
No symbol table info available.
#8  0x00007ff09c4ef179 in grt::UndoManager::~UndoManager() () from /usr/lib/mysql-workbench/libgrt.so.0
No symbol table info available.
#9  0x00007ff09c493f49 in grt::GRT::~GRT() () from /usr/lib/mysql-workbench/libgrt.so.0
No symbol table info available.
#10 0x00007ff09cb44a52 in bec::GRTManager::~GRTManager() () from /usr/lib/mysql-workbench/libwbpublic.so.0
No symbol table info available.
#11 0x00007ff09cb45379 in bec::GRTManager::~GRTManager() () from /usr/lib/mysql-workbench/libwbpublic.so.0
No symbol table info available.
#12 0x00007ff09e571b6d in wb::WBContext::~WBContext() ()
No symbol table info available.
#13 0x00007ff09e54597c in wb::WBContextUI::~WBContextUI() ()
No symbol table info available.
#14 0x00007ff09e545c89 in wb::WBContextUI::~WBContextUI() ()
No symbol table info available.
#15 0x00007ff09e2f40b0 in Program::shutdown() ()
No symbol table info available.
#16 0x00007ff09e2f05fd in main ()
No symbol table info available.