From f6fa2ddcfc89099726d60386befba874c7ac1e0d Mon Sep 17 00:00:00 2001
From: Miodrag Milanovic <mmicko@gmail.com>
Date: Thu, 11 Nov 2021 18:08:50 +0100
Subject: [PATCH] Add WASI platform support to glucose2.

Signed-off-by: Miodrag Milanovic <mmicko@gmail.com>
---
 src/sat/glucose2/IntTypes.h | 16 +++++++---------
 1 file changed, 7 insertions(+), 9 deletions(-)

diff --git a/src/sat/glucose2/IntTypes.h b/src/sat/glucose2/IntTypes.h
index 3f75862b1..5c4176b29 100644
--- a/src/sat/glucose2/IntTypes.h
+++ b/src/sat/glucose2/IntTypes.h
@@ -28,20 +28,18 @@ OF OR IN CONNECTION WITH THE SOFTWARE OR THE USE OR OTHER DEALINGS IN THE SOFTWA
 #   include <sys/int_fmtio.h>
 #   include <sys/int_limits.h>
 
+#elif _WIN32
+
+#   include "pstdint.h"
+
 #else
 
-#define __STDC_LIMIT_MACROS
-#   include "pstdint.h"
-//#   include <inttypes.h>
+#   define __STDC_LIMIT_MACROS
+#   include <limits.h>
+#   include <inttypes.h>
 
 #endif
 
-#include <limits.h>
-
-#ifndef PRIu64
-#define PRIu64 "lu"
-#define PRIi64 "ld"
-#endif
 //=================================================================================================
 
 #include <misc/util/abc_namespaces.h>