From bd966962366ddf384dc78de569c448ade47b85d0 Mon Sep 17 00:00:00 2001
From: YAMAMOTO Takashi <yamamoto@midokura.com>
Date: Fri, 9 Jun 2023 09:40:21 +0900
Subject: [PATCH] Appease unused warning on min_uint64 (#2277)

---
 core/iwasm/libraries/libc-wasi/libc_wasi_wrapper.c | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/core/iwasm/libraries/libc-wasi/libc_wasi_wrapper.c b/core/iwasm/libraries/libc-wasi/libc_wasi_wrapper.c
index afb11925..70ac4dc5 100644
--- a/core/iwasm/libraries/libc-wasi/libc_wasi_wrapper.c
+++ b/core/iwasm/libraries/libc-wasi/libc_wasi_wrapper.c
@@ -56,11 +56,13 @@ typedef struct WASIContext *wasi_ctx_t;
 wasi_ctx_t
 wasm_runtime_get_wasi_ctx(wasm_module_inst_t module_inst);
 
+#if WASM_ENABLE_THREAD_MGR != 0
 static inline uint64_t
 min_uint64(uint64_t a, uint64_t b)
 {
     return a > b ? b : a;
 }
+#endif
 
 static inline uint32_t
 min_uint32(uint32_t a, uint32_t b)