diff --git a/module_usb_aud_shared/usb_buffer/decouple.xc b/module_usb_aud_shared/usb_buffer/decouple.xc
index 7ef419d6..c200ffee 100644
--- a/module_usb_aud_shared/usb_buffer/decouple.xc
+++ b/module_usb_aud_shared/usb_buffer/decouple.xc
@@ -19,7 +19,6 @@
  **/
 #include <xs1.h>
 #include <print.h>
-#include <assert.h>
 #include "xc_ptr.h"
 #define NO_INLINE_MIDI_SELECT_HANDLER 1
 #include "usb_midi.h"