Update ports/raspberrypi/common-hal/wifi/Radio.c

bill88t · microdev1 · web-flow · commit e6a4e2982f67 · 2022-11-11T14:40:47.000+02:00
u32_t -&gt; uint32_t

Co-authored-by: MicroDev &lt;70126934+MicroDev1@users.noreply.github.com&gt;
diff --git a/ports/raspberrypi/common-hal/wifi/Radio.c b/ports/raspberrypi/common-hal/wifi/Radio.c
@@ -61,7 +61,7 @@
 #endif
 
 #ifdef LWIP_DEBUG
-static u32_t ping_time;
+static uint32_t ping_time;
 #endif
 
 
