...

[cpPlugins.git] / appli / PipelineEditor / PipelineEditor.cxx

diff --git a/appli/PipelineEditor/PipelineEditor.cxx b/appli/PipelineEditor/PipelineEditor.cxx
index fcd3f421ec5727b6f9ae1e9c8af045031a554c20..5fe9bdf70014a9fb8eb6b7e2ab693cf5a73c022d 100644 (file)
--- a/appli/PipelineEditor/PipelineEditor.cxx
+++ b/appli/PipelineEditor/PipelineEditor.cxx
@@ -113,8 +113,7 @@ PipelineEditor::
 {
   if( this->m_Workspace != NULL )
     delete this->m_Workspace;
-  // TODO: this causes a segfault (?)
-  // delete this->m_UI;
+  delete this->m_UI;
 }
 
 // -------------------------------------------------------------------------