Fix missing stdint

Co-authored-by: ζeh Matt <5415177+ZehMatt@users.noreply.github.com>
This commit is contained in:
mio 2023-06-10 23:48:18 +02:00
parent 49ccbde2d0
commit fa1f26138e
No known key found for this signature in database
GPG Key ID: DFF27E34A47CB873

View File

@ -9,7 +9,7 @@
#define SYSEMU_TCG_H
#include <stdbool.h>
#include <stdint.h>
//#include "uc_priv.h"
struct uc_struct;