1 files changed, 4 insertions, 0 deletions
diff --git a/kernel/yosys.h b/kernel/yosys.h
index f9c1848ee..34777c9a4 100644
--- a/kernel/yosys.h
+++ b/kernel/yosys.h
@@ -43,7 +43,11 @@
 #include <string>
 #include <algorithm>
 #include <initializer_list>
+
 #include <stdarg.h>
+#include <stdlib.h>
+#include <string.h>
+#include <stdio.h>
 
 #define PRIVATE_NAMESPACE_BEGIN  namespace {
 #define PRIVATE_NAMESPACE_END    }