1 files changed, 0 insertions, 83 deletions
diff --git a/patches/fuzzy-sat-include.patch b/patches/fuzzy-sat-include.patch
deleted file mode 100644
index 6798bbd..0000000
--- a/patches/fuzzy-sat-include.patch
+++ /dev/null
@@ -1,83 +0,0 @@
-commit bfd24f9cb93fab5317d16c879857221cc70e54c8
-Author: Nguyễn Gia Phong <cnx@loang.net>
-Date:   2025-04-24 11:25:20 +0900
-
-    Include stdio.h
-
-diff --git a/lib/testcase-list.c b/lib/testcase-list.c
-index 0aa223b7a7e4..6457fd5cab87 100644
---- a/lib/testcase-list.c
-+++ b/lib/testcase-list.c
-@@ -1,4 +1,5 @@
- #include <fts.h>
-+#include <stdio.h>
- #include <stdlib.h>
- #include "testcase-list.h"
- 
-diff --git a/lib/z3-fuzzy-debug-utils.h b/lib/z3-fuzzy-debug-utils.h
-index 0f6f3b891a52..7b88add6c294 100644
---- a/lib/z3-fuzzy-debug-utils.h
-+++ b/lib/z3-fuzzy-debug-utils.h
-@@ -1,3 +1,5 @@
-+#include <stdio.h>
-+
- static inline void print_index_queue(ast_info_ptr data)
- {
-     index_group_t* group;
-diff --git a/lib/z3-fuzzy.c b/lib/z3-fuzzy.c
-index cac1c329088d..69ecb006fd1f 100644
---- a/lib/z3-fuzzy.c
-+++ b/lib/z3-fuzzy.c
-@@ -1,6 +1,7 @@
- #define FUZZY_SOURCE
- 
- #include <fcntl.h>
-+#include <stdio.h>
- #include <stdlib.h>
- #include <unistd.h>
- #include "gradient_descend.h"
-diff --git a/tools/fuzzy-solver-notify.c b/tools/fuzzy-solver-notify.c
-index 821d3aaff15f..97abd8f71488 100644
---- a/tools/fuzzy-solver-notify.c
-+++ b/tools/fuzzy-solver-notify.c
-@@ -1,5 +1,6 @@
- #define FUZZY_SOURCE
- 
-+#include <stdio.h>
- #include <stdlib.h>
- #include <assert.h>
- #include <sys/time.h>
-diff --git a/tools/fuzzy-solver-vs-z3.c b/tools/fuzzy-solver-vs-z3.c
-index 8803ff390fa2..ba4e8f5b979a 100644
---- a/tools/fuzzy-solver-vs-z3.c
-+++ b/tools/fuzzy-solver-vs-z3.c
-@@ -1,3 +1,4 @@
-+#include <stdio.h>
- #include <stdlib.h>
- #include <assert.h>
- #include <sys/time.h>
-diff --git a/tools/stats-collection-fuzzy.c b/tools/stats-collection-fuzzy.c
-index fdef41761726..c793b1df717d 100644
---- a/tools/stats-collection-fuzzy.c
-+++ b/tools/stats-collection-fuzzy.c
-@@ -1,3 +1,4 @@
-+#include <stdio.h>
- #include <stdlib.h>
- #include <assert.h>
- #include <sys/time.h>
-diff --git a/tools/stats-collection-z3.c b/tools/stats-collection-z3.c
-index 504648a1a6c3..f101eeedb32f 100644
---- a/tools/stats-collection-z3.c
-+++ b/tools/stats-collection-z3.c
-@@ -1,3 +1,4 @@
-+#include <stdio.h>
- #include <stdlib.h>
- #include <assert.h>
- #include <sys/time.h>
-@@ -105,4 +106,4 @@ int main(int argc, char* argv[])
-     Z3_del_context(ctx);
-     fclose(log_file);
-     return 0;
--}
-\ No newline at end of file
-+}