From 8fcfb3a33fe053ed2032d58ecc0b5d640c155931 Mon Sep 17 00:00:00 2001
From: enricotenuti <tenutz_27@outlook.it>
Date: Sun, 29 Sep 2024 12:38:43 +0200
Subject: minor changes for PR

---
 tools/200_solve_small/solve_small.c | 2 --
 1 file changed, 2 deletions(-)

(limited to 'tools')

diff --git a/tools/200_solve_small/solve_small.c b/tools/200_solve_small/solve_small.c
index f1037b4..d476bce 100644
--- a/tools/200_solve_small/solve_small.c
+++ b/tools/200_solve_small/solve_small.c
@@ -1,5 +1,3 @@
-#include <pthread.h>
-
 #include "../tool.h"
 
 const char *solver = "h48";
-- 
cgit v1.3