diff options
Diffstat (limited to 'cc3200/serverstask.c')
| -rw-r--r-- | cc3200/serverstask.c | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/cc3200/serverstask.c b/cc3200/serverstask.c index 62e41fcd4..ea56589ea 100644 --- a/cc3200/serverstask.c +++ b/cc3200/serverstask.c @@ -25,7 +25,6 @@ */ #include <stdint.h> -#include <std.h> #include "py/mpconfig.h" #include MICROPY_HAL_H |