format fix thread.h

2 files changed, 4 insertions, 12 deletions

diff --git a/src/nissy.c b/src/nissy.c
index 5eeb457..56acf25 100644
--- a/src/nissy.c
+++ b/src/nissy.c
@@ -333,8 +333,8 @@ nissy_solve(
                         ret = -1;
                 } else {
                         ret = THREADS > 1 ?
-                            solve_h48_parent(c, minmoves, maxmoves, maxsolutions, data, solutions) :
-                            solve_h48(c, minmoves, maxmoves, maxsolutions, data, solutions);
+                                solve_h48_parent(c, minmoves, maxmoves, maxsolutions, data, solutions) :
+                                solve_h48(c, minmoves, maxmoves, maxsolutions, data, solutions);
                 }
         } else if (!strcmp(solver, "h48stats")) {
                 ret = solve_h48stats(c, maxmoves, data, solutions);
diff --git a/src/solvers/h48/thread.h b/src/solvers/h48/thread.h
index c76c9d6..bea34d0 100644
--- a/src/solvers/h48/thread.h
+++ b/src/solvers/h48/thread.h
@@ -1,13 +1,8 @@
-#include <pthread.h>
 #include <stdatomic.h>
-#include <stdbool.h>
-#include <stdio.h>
-#include <stdlib.h>
 
 #define MAX_QUEUE_SIZE 244
 #define BFS_DEPTH 2
-typedef struct
-{
+typedef struct {
         dfsarg_solveh48_t *tasks[MAX_QUEUE_SIZE];
         int front;
         int rear;
@@ -95,12 +90,10 @@ copy_queue(task_queue_t *src, task_queue_t *dest, int depth, int64_t *nsols)
         dest->front = src->front;
         dest->rear = src->rear;
         dest->tasks_count = src->tasks_count;
-        // atomic_init(&dest->active, &src->active);
         pthread_cond_broadcast(&dest->cond);
         pthread_mutex_unlock(&dest->mutex);
 }
 
-
 STATIC void *
 start_thread(void *arg)
 {
@@ -253,8 +246,7 @@ solve_h48_parent(
         tableinfo_t info;
         pthread_t threads[THREADS];
 
-        if (!readtableinfo_n(data, 2, &info))
-        {
+        if (!readtableinfo_n(data, 2, &info)){
                 LOG("solve_h48: error reading table\n");
                 return 0;
         }