diff options
Diffstat (limited to 'cc3200/mods/modusocket.c')
| -rw-r--r-- | cc3200/mods/modusocket.c | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/cc3200/mods/modusocket.c b/cc3200/mods/modusocket.c index 6b69e91ee1..622a026c2e 100644 --- a/cc3200/mods/modusocket.c +++ b/cc3200/mods/modusocket.c @@ -30,7 +30,6 @@ #include "simplelink.h" #include "py/mpconfig.h" -#include MICROPY_HAL_H #include "py/obj.h" #include "py/objstr.h" #include "py/runtime.h" |