From 28d244bd0a12d2fd886f9550fa2638d30fb8dfa7 Mon Sep 17 00:00:00 2001
From: Paul Davis <paul@linuxaudiosystems.com>
Date: Fri, 17 Feb 2023 11:34:54 -0700
Subject: [PATCH] use cstdint instead of stdint.h

---
 gtk2_ardour/midi_tracer.cc | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/gtk2_ardour/midi_tracer.cc b/gtk2_ardour/midi_tracer.cc
index 818fbf2219..28541302e3 100644
--- a/gtk2_ardour/midi_tracer.cc
+++ b/gtk2_ardour/midi_tracer.cc
@@ -20,9 +20,9 @@
  * 51 Franklin Street, Fifth Floor, Boston, MA 02110-1301 USA.
  */
 
-#include <stdint.h>
-
+#include <cstdint>
 #include <sstream>
+
 #include <sys/time.h>
 #include <time.h>