Fix mingw compilation

2025-03-12 07:28:47 +01:00 · 2025-03-12 07:28:47 +01:00 · f2d68d590f
parent 5ecc7c333c
commit f2d68d590f
1 changed files with 1 additions and 1 deletions
--- a/src/sat/kissat/colors.c
+++ b/src/sat/kissat/colors.c
@ -1,6 +1,6 @@
 #include "colors.h"

-#ifdef WIN32
+#if defined(WIN32) && !defined(__MINGW32__)
 #define isatty _isatty
 #else
 #include <unistd.h>