diff options
author | Damien George <damien.p.george@gmail.com> | 2017-07-24 18:43:14 +1000 |
---|---|---|
committer | Damien George <damien.p.george@gmail.com> | 2017-07-24 18:43:14 +1000 |
commit | aa7be82a4dff59b22763abbe1bd5e74c0e37b453 (patch) | |
tree | 995769631aff96f66484fc90b4e573fe7563a908 /extmod/modwebrepl.c | |
parent | a559098fecd0a0e2aa98d2a8b3b6ba080b4e096f (diff) |
all: Don't include system errno.h when it's not needed.
Diffstat (limited to 'extmod/modwebrepl.c')
-rw-r--r-- | extmod/modwebrepl.c | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/extmod/modwebrepl.c b/extmod/modwebrepl.c index ce3c7dcbd..9e3f16fe7 100644 --- a/extmod/modwebrepl.c +++ b/extmod/modwebrepl.c @@ -27,7 +27,6 @@ #include <stdio.h> #include <stdint.h> #include <string.h> -#include <errno.h> #include "py/nlr.h" #include "py/obj.h" |