Description of problem:
would delete a procedure

Version-Release number of selected component:
mysql-workbench-5.2.45-1.fc18

Additional info:
backtrace_rating: 4
cmdline:        /usr/libexec/mysql-workbench-bin
crash_function: deallocate
executable:     /usr/libexec/mysql-workbench-bin
kernel:         3.7.8-202.fc18.x86_64
remote_result:  NOTFOUND
uid:            1000

Truncated backtrace:
Thread no. 1 (10 frames)
 #5 deallocate at /usr/include/c++/4.7.2/ext/new_allocator.h:100
 #6 _M_put_node at /usr/include/c++/4.7.2/bits/stl_tree.h:373
 #7 _M_destroy_node at /usr/include/c++/4.7.2/bits/stl_tree.h:395
 #8 std::_Rb_tree<void*, std::pair<void* const, boost::function<void* (void*)> >, std::_Select1st<std::pair<void* const, boost::function<void* (void*)> > >, std::less<void*>, std::allocator<std::pair<void* const, boost::function<void* (void*)> > > >::_M_erase(std::_Rb_tree_node<std::pair<void* const, boost::function<void* (void*)> > >*) at /usr/include/c++/4.7.2/bits/stl_tree.h:1084
 #9 std::_Rb_tree<void*, std::pair<void* const, boost::function<void* (void*)> >, std::_Select1st<std::pair<void* const, boost::function<void* (void*)> > >, std::less<void*>, std::allocator<std::pair<void* const, boost::function<void* (void*)> > > >::clear() at /usr/include/c++/4.7.2/bits/stl_tree.h:816
 #10 std::_Rb_tree<void*, std::pair<void* const, boost::function<void* (void*)> >, std::_Select1st<std::pair<void* const, boost::function<void* (void*)> > >, std::less<void*>, std::allocator<std::pair<void* const, boost::function<void* (void*)> > > >::_M_erase_aux(std::_Rb_tree_const_iterator<std::pair<void* const, boost::function<void* (void*)> > >, std::_Rb_tree_const_iterator<std::pair<void* const, boost::function<void* (void*)> > >) at /usr/include/c++/4.7.2/bits/stl_tree.h:1509
 #11 erase at /usr/include/c++/4.7.2/bits/stl_tree.h:804
 #12 std::_Rb_tree<void*, std::pair<void* const, boost::function<void* (void*)> >, std::_Select1st<std::pair<void* const, boost::function<void* (void*)> > >, std::less<void*>, std::allocator<std::pair<void* const, boost::function<void* (void*)> > > >::erase(void* const&) at /usr/include/c++/4.7.2/bits/stl_tree.h:1523
 #13 erase at /usr/include/c++/4.7.2/bits/stl_map.h:654
 #14 remove_destroy_notify_callback at ../../../library/base/base/trackable.h:51

Potential duplicate: bug 871755