1 files changed, 0 insertions, 1 deletions

diff --git a/stm/pin.c b/stm/pin.c
index 6b97d2f7c..b201c41e1 100644
--- a/stm/pin.c
+++ b/stm/pin.c
@@ -7,7 +7,6 @@
 #include "mpconfig.h"
 #include "qstr.h"
 #include "obj.h"
-#include "map.h"
 
 #include "pin.h"