From 02b4e675495d045308a2af9f2b75bf224e0c7be5 Mon Sep 17 00:00:00 2001 From: whitequark Date: Sat, 19 Jun 2021 02:59:57 +0000 Subject: [PATCH] Fix WASI build after commit 1d88bea1. --- kernel/yosys.cc | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/kernel/yosys.cc b/kernel/yosys.cc index f543447bd..39d6a1ec1 100644 --- a/kernel/yosys.cc +++ b/kernel/yosys.cc @@ -67,11 +67,11 @@ # define INIT_MODULE initlibyosys extern "C" void INIT_MODULE(); #endif +#include #endif #include #include -#include YOSYS_NAMESPACE_BEGIN -- 2.30.2