Remove unused header

This commit is contained in:
Jeff Epler 2022-08-04 15:11:47 -05:00
parent 82be75adb5
commit 5ac3aeaac7
No known key found for this signature in database
GPG Key ID: D5BF15AB975AB4DE
1 changed files with 0 additions and 1 deletions

View File

@ -31,7 +31,6 @@
#include <stdint.h>
#include "py/binary.h"
#include "py/enum.h"
#include "py/obj.h"
#include "py/runtime.h"