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/uos_dupterm.c | |
parent | a559098fecd0a0e2aa98d2a8b3b6ba080b4e096f (diff) |
all: Don't include system errno.h when it's not needed.
Diffstat (limited to 'extmod/uos_dupterm.c')
-rw-r--r-- | extmod/uos_dupterm.c | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/extmod/uos_dupterm.c b/extmod/uos_dupterm.c index d888099df..29a62ab89 100644 --- a/extmod/uos_dupterm.c +++ b/extmod/uos_dupterm.c @@ -24,7 +24,6 @@ * THE SOFTWARE. */ -#include <errno.h> #include <string.h> #include "py/mpconfig.h" |