diff options
| author | enricotenuti <tenutz_27@outlook.it> | 2024-09-19 10:01:29 +0200 |
|---|---|---|
| committer | enricotenuti <tenutz_27@outlook.it> | 2024-09-19 10:01:29 +0200 |
| commit | be2d3fe10fd8adbf3fa4ce7cd436e2ad33363fcc (patch) | |
| tree | 79cc4ef043946cb892ed9e7428ca440794c9449c /src/solvers/h48/h48.h | |
| parent | b848b089edb6d8c9b0bd10b46926f76547aa99c3 (diff) | |
| parent | 0478efe2875420236295450ba2d4d22dd5dd433e (diff) | |
| download | nissy-core-be2d3fe10fd8adbf3fa4ce7cd436e2ad33363fcc.tar.gz nissy-core-be2d3fe10fd8adbf3fa4ce7cd436e2ad33363fcc.zip | |
Merge branch 'threaded_solver'
Diffstat (limited to 'src/solvers/h48/h48.h')
| -rw-r--r-- | src/solvers/h48/h48.h | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/src/solvers/h48/h48.h b/src/solvers/h48/h48.h index 18153d1..2fe9575 100644 --- a/src/solvers/h48/h48.h +++ b/src/solvers/h48/h48.h | |||
| @@ -4,3 +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" | ||