From 253f88352182208e0233922df62652aad5d52337 Mon Sep 17 00:00:00 2001
From: Robin Gareus <robin@gareus.org>
Date: Wed, 7 Jan 2026 13:53:24 +0100
Subject: [PATCH] NO-OP: Remove unused header

---
 libs/ctrl-interface/control_protocol/basic_ui.cc | 2 --
 1 file changed, 2 deletions(-)

diff --git a/libs/ctrl-interface/control_protocol/basic_ui.cc b/libs/ctrl-interface/control_protocol/basic_ui.cc
index a20e59ad39..2bcd2ed90a 100644
--- a/libs/ctrl-interface/control_protocol/basic_ui.cc
+++ b/libs/ctrl-interface/control_protocol/basic_ui.cc
@@ -23,14 +23,12 @@
  * 51 Franklin Street, Fifth Floor, Boston, MA 02110-1301 USA.
  */
 
-#include "pbd/pthread_utils.h"
 #include "pbd/memento_command.h"
 
 #include "temporal/tempo.h"
 
 #include "ardour/session.h"
 #include "ardour/location.h"
-#include "ardour/tempo.h"
 #include "ardour/transport_master_manager.h"
 #include "ardour/utils.h"