From 4e5259f42450a0a9e2591921947ee9f8d950227a Mon Sep 17 00:00:00 2001
From: Wez Furlong <wez@wezfurlong.org>
Date: Sun, 30 Apr 2017 16:38:05 -0700
Subject: [PATCH] and this is needed to allow building with the Teensy USB core

---
 src/key_events.h | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/key_events.h b/src/key_events.h
index 16cf6d3e..442f9f3f 100644
--- a/src/key_events.h
+++ b/src/key_events.h
@@ -1,6 +1,6 @@
 #pragma once
 #include <Arduino.h>
-#ifdef USBCON
+#if defined(USBCON) && !defined(CORE_TEENSY)
 #include "KeyboardioHID.h"
 #endif