From cddb2dd0c3f7d55599bdb0e1994f8b81f8b22d10 Mon Sep 17 00:00:00 2001
From: Damien George <damien.p.george@gmail.com>
Date: Tue, 5 Nov 2019 13:20:25 +1100
Subject: [PATCH] stm32/mpthreadport: Include runtime.h to get defn of
 mp_raise_msg.

---
 ports/stm32/mpthreadport.c | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/ports/stm32/mpthreadport.c b/ports/stm32/mpthreadport.c
index 0077e13937..4e1ebf064d 100644
--- a/ports/stm32/mpthreadport.c
+++ b/ports/stm32/mpthreadport.c
@@ -26,7 +26,7 @@
 
 #include <stdio.h>
 
-#include "py/mpstate.h"
+#include "py/runtime.h"
 #include "py/gc.h"
 #include "py/mpthread.h"
 #include "gccollect.h"