remove unnecessary and now impossible #include

diff --git a/gtk2_ardour/rc_option_editor.cc b/gtk2_ardour/rc_option_editor.cc
index 8e562f4279805bfd06ba6f31bd4b96b718951f6d..940c675bb63eb8a494a5748a56c0d7eca7584485 100644 (file)
--- a/gtk2_ardour/rc_option_editor.cc
+++ b/gtk2_ardour/rc_option_editor.cc
@@ -61,7 +61,6 @@
 #include "midi_tracer.h"
 #include "rc_option_editor.h"
 #include "utils.h"
-#include "midi_port_dialog.h"
 #include "sfdb_ui.h"
 #include "keyboard.h"
 #include "theme_manager.h"