diff options
Diffstat (limited to 'src/sat/satoko/utils/misc.h')
| -rwxr-xr-x | src/sat/satoko/utils/misc.h | 2 |
1 files changed, 0 insertions, 2 deletions
diff --git a/src/sat/satoko/utils/misc.h b/src/sat/satoko/utils/misc.h index aa8bcb8c..481e23b7 100755 --- a/src/sat/satoko/utils/misc.h +++ b/src/sat/satoko/utils/misc.h @@ -9,8 +9,6 @@ #ifndef satoko__utils__misc_h #define satoko__utils__misc_h -#include <stdint.h> - #include "misc/util/abc_global.h" ABC_NAMESPACE_HEADER_START |