From 47bc4d19d5e8cff085e10c42578276f6d6b68cc8 Mon Sep 17 00:00:00 2001
From: Jonathan Wilkes <jon.w.wilkes@gmail.com>
Date: Fri, 18 Mar 2016 22:56:24 -0400
Subject: [PATCH] remove unneeded header for portmidi

---
 pd/src/s_midi_pm.c | 1 -
 1 file changed, 1 deletion(-)

diff --git a/pd/src/s_midi_pm.c b/pd/src/s_midi_pm.c
index 3e786a381..56b91093e 100644
--- a/pd/src/s_midi_pm.c
+++ b/pd/src/s_midi_pm.c
@@ -20,7 +20,6 @@
 #include <stdlib.h>
 #include <string.h>
 #include <errno.h>
-#include "portaudio.h"
 #include "portmidi.h"
 #include "porttime.h"
 
-- 
GitLab