From 11732d3082bcabf782fbb3eb6dff338a2bac23f3 Mon Sep 17 00:00:00 2001
From: Miodrag Milanovic <mmicko@gmail.com>
Date: Wed, 10 Dec 2025 11:03:11 +0100
Subject: [PATCH] Fix WASI build

---
 src/misc/util/utilNet.c | 4 ++++
 1 file changed, 4 insertions(+)

diff --git a/src/misc/util/utilNet.c b/src/misc/util/utilNet.c
index e51a02531..db21c8c3b 100755
--- a/src/misc/util/utilNet.c
+++ b/src/misc/util/utilNet.c
@@ -1103,7 +1103,11 @@ tn_vi * Tn_SolveSat( const char * pFileNameIn, const char * pFileNameOut, int Se
         sprintf( pCommand, "%s --seed=%d %s %s > %s", pKissat, Seed, fVerboseSolver ? "": "-q", pFileNameIn, pFileNameOut );
     //if ( fVerbose )
     //    printf( "Running command line: %s\n", pCommand );
+#if defined(__wasm)
+    if ( 1 )
+#else
     if ( system( pCommand ) == -1 )
+#endif
     {
         printf( "Command \"%s\" did not succeed.\n", pCommand );
         return 0;