aboutsummaryrefslogtreecommitdiff
path: root/src/solvers/h48/h48.h
diff options
context:
space:
mode:
authorenricotenuti <tenutz_27@outlook.it>2024-09-29 12:38:43 +0200
committerenricotenuti <tenutz_27@outlook.it>2024-09-29 12:38:43 +0200
commit8fcfb3a33fe053ed2032d58ecc0b5d640c155931 (patch)
tree52c70a5829e93ad57cfe1101d2afa0693db91d53 /src/solvers/h48/h48.h
parent105259a58425a9ca1cec1b85339588410ae4fff7 (diff)
downloadnissy-core-8fcfb3a33fe053ed2032d58ecc0b5d640c155931.tar.gz
nissy-core-8fcfb3a33fe053ed2032d58ecc0b5d640c155931.zip
minor changes for PR
Diffstat (limited to 'src/solvers/h48/h48.h')
-rw-r--r--src/solvers/h48/h48.h2
1 files changed, 1 insertions, 1 deletions
diff --git a/src/solvers/h48/h48.h b/src/solvers/h48/h48.h
index 2fe9575..176ce22 100644
--- a/src/solvers/h48/h48.h
+++ b/src/solvers/h48/h48.h
@@ -4,4 +4,4 @@
4#include "gendata_h48.h" 4#include "gendata_h48.h"
5#include "stats.h" 5#include "stats.h"
6#include "solve.h" 6#include "solve.h"
7#include "thread.h" 7#include "solve_multithread.h"

Generated with cgit - Back to sebastiano.tronto.net