diff --git a/src/GUI/new_gui.cxx b/src/GUI/new_gui.cxx index 04b0d4473..3ff7a7bc3 100644 --- a/src/GUI/new_gui.cxx +++ b/src/GUI/new_gui.cxx @@ -45,6 +45,8 @@ using std::map; using std::string; +extern void puCleanUpJunk(void); + //////////////////////////////////////////////////////////////////////// // Implementation of NewGUI. //////////////////////////////////////////////////////////////////////// @@ -108,6 +110,8 @@ NewGUI::shutdown() fgUntie("/sim/menubar/visibility"); _menubar.reset(); _dialog_props.clear(); + + puCleanUpJunk(); } void