diff options
| author | Paul Davis <paul@linuxaudiosystems.com> | 2014-02-04 14:21:35 -0500 |
|---|---|---|
| committer | Paul Davis <paul@linuxaudiosystems.com> | 2014-02-04 14:21:35 -0500 |
| commit | 2b9421fd391efcddde0be3397cb66e19b744a155 (patch) | |
| tree | 9379555f58acff44337676416d229a0f4c0562e8 /gtk2_ardour/plugin_ui.cc | |
| parent | c11bf0cc72669feea1a6c2071cef5255bbb1905a (diff) | |
| parent | 4818621a2797871a10c47fc2f813e51668479fcc (diff) | |
merge (w/fix) with master
Diffstat (limited to 'gtk2_ardour/plugin_ui.cc')
| -rw-r--r-- | gtk2_ardour/plugin_ui.cc | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/gtk2_ardour/plugin_ui.cc b/gtk2_ardour/plugin_ui.cc index 4423e3905d..ac5f7fd9a6 100644 --- a/gtk2_ardour/plugin_ui.cc +++ b/gtk2_ardour/plugin_ui.cc @@ -159,7 +159,9 @@ PluginUIWindow::PluginUIWindow ( PluginUIWindow::~PluginUIWindow () { +#ifndef NDEBUG cerr << "PluginWindow deleted for " << this << endl; +#endif delete _pluginui; } |