#0  0x00007ff09705b425 in __GI_raise (sig=<optimized out>) at ../nptl/sysdeps/unix/sysv/linux/raise.c:64
  [Error: ../nptl/sysdeps/unix/sysv/linux/raise.c was not found in source tree]
#1  0x00007ff09705eb8b in __GI_abort () at abort.c:91
  [Error: abort.c was not found in source tree]
#2  0x00007ff0970540ee in __assert_fail_base (fmt=<optimized out>, assertion=0x7ff097f3d938 "(-(e)) != 3 || !robust", file=0x7ff097f3df3e "pthread_mutex_lock.c", line=<optimized out>, function=<optimized out>) at assert.c:94
  [Error: assert.c was not found in source tree]
#3  0x00007ff097054192 in __GI___assert_fail (assertion=0x7ff097f3d938 "(-(e)) != 3 || !robust", file=0x7ff097f3df3e "pthread_mutex_lock.c", line=312, function=0x7ff097f3da40 <__PRETTY_FUNCTION__.9925> "__pthread_mutex_lock_full") at assert.c:103
  [Error: assert.c was not found in source tree]
#4  0x00007ff097f31a18 in __pthread_mutex_lock_full (mutex=0x7ff09fa22d20) at pthread_mutex_lock.c:312
  [Error: pthread_mutex_lock.c was not found in source tree]
#5  0x00007ff09898c2e1 in ?? ()
#6  0x00007ff09f9c83a0 in ?? ()
#7  0x00007ff09c4eedd0 in grt::UndoManager::reset (this=0x7ff09f9c83b0) at grtpp_undo_manager.cpp:786
  781: }
  782: 
  783: 
  784: void UndoManager::reset()
  785: {
  786:   lock();
  787:   for (std::deque<UndoAction*>::iterator iter= _undo_stack.begin(); iter != _undo_stack.end(); ++iter)
  788:     delete *iter;
  789:   _undo_stack.clear();
  790: 
  791:   for (std::deque<UndoAction*>::iterator iter= _redo_stack.begin(); iter != _redo_stack.end(); ++iter)
#8  0x00007ff09c4eef8b in grt::UndoManager::~UndoManager (this=0x7ff09f9c83a0, __in_chrg=<optimized out>) at grtpp_undo_manager.cpp:633
  628: 
  629: UndoManager::~UndoManager()
  630: {
  631:   g_static_rec_mutex_free(&_mutex);
  632:   _changed_signal.disconnect_all_slots(); // prevent emission in reset()
  633:   reset();
  634: }
  635: 
  636: 
  637: 
  638: void UndoManager::enable_logging_to(std::ostream *stream)
#9  0x00007ff09c4ef179 in grt::UndoManager::~UndoManager (this=0x7ff09f9c83a0, __in_chrg=<optimized out>) at grtpp_undo_manager.cpp:634
  629: UndoManager::~UndoManager()
  630: {
  631:   g_static_rec_mutex_free(&_mutex);
  632:   _changed_signal.disconnect_all_slots(); // prevent emission in reset()
  633:   reset();
  634: }
  635: 
  636: 
  637: 
  638: void UndoManager::enable_logging_to(std::ostream *stream)
  639: {
#10 0x00007ff09c493f49 in grt::GRT::~GRT (this=0x7ff09f9c81e0, __in_chrg=<optimized out>) at grtpp_grt.cpp:192
  187: 
  188: 
  189: GRT::~GRT()
  190: {
  191:   delete _shell;
  192:   delete _default_undo_manager;
  193:   
  194: 
  195:   /* this is crashing, must be tracked
  196:   for (std::vector<Module*>::iterator iter= _modules.begin();
  197:        iter != _modules.end(); ++iter)
#11 0x00007ff09cb44a52 in bec::GRTManager::~GRTManager (this=0x7ff09f9c7db0, __in_chrg=<optimized out>) at grt/grt_manager.cpp:235
  [Error: grt/grt_manager.cpp was not found in source tree]
#12 0x00007ff09cb45379 in bec::GRTManager::~GRTManager (this=0x7ff09f9c7db0, __in_chrg=<optimized out>) at grt/grt_manager.cpp:245
  [Error: grt/grt_manager.cpp was not found in source tree]
#13 0x00007ff09e571b6d in wb::WBContext::~WBContext (this=0x7ff09f9c3f70, __in_chrg=<optimized out>) at workbench/wb_context.cpp:312
  [Error: workbench/wb_context.cpp was not found in source tree]
#14 0x00007ff09e54597c in wb::WBContextUI::~WBContextUI (this=0x7ff09f9c3b50, __in_chrg=<optimized out>) at workbench/wb_context_ui.cpp:121
  [Error: workbench/wb_context_ui.cpp was not found in source tree]
#15 0x00007ff09e545c89 in wb::WBContextUI::~WBContextUI (this=0x7ff09f9c3b50, __in_chrg=<optimized out>) at workbench/wb_context_ui.cpp:123
  [Error: workbench/wb_context_ui.cpp was not found in source tree]
#16 0x00007ff09e2f40b0 in Program::shutdown (this=0x7fffd57713f0) at program.cpp:198
  193:   _grt_manager->get_dispatcher()->shutdown();
  194: 
  195:   delete _main_form;
  196:   _main_form= 0;
  197: 
  198:   delete _wb_context_ui;
  199:   _wb_context_ui= 0;
  200: }
  201: 
  202: 
  203: //----------------------------------------------------------------------------------------------------
#17 0x00007ff09e2f05fd in main (argc=1, argv=0x7fffd5771718) at main.cpp:348
  343:       dlg.set_transient_for(*get_mainwindow());
  344:       dlg.run();
  345:     }
  346:   }
  347: 
  348:   program.shutdown();
  349:   gdk_threads_leave();
  350: 
  351:   return 0;
  352: }
  353: