1 files changed, 0 insertions, 3 deletions
diff --git a/stm/pendsv.h b/stm/pendsv.h
deleted file mode 100644
index b07ab71375..0000000000
--- a/stm/pendsv.h
+++ /dev/null
@@ -1,3 +0,0 @@
-void pendsv_init(void);
-void pendsv_nlr_jump(mp_obj_t o);
-void pendsv_isr_handler(void);