diff options
| author | Sebastiano Tronto <sebastiano@tronto.net> | 2024-02-27 18:33:31 +0100 |
|---|---|---|
| committer | Sebastiano Tronto <sebastiano@tronto.net> | 2024-02-27 18:33:31 +0100 |
| commit | 98b8339bceb833eb2419bc349547cb8342e4be1a (patch) | |
| tree | ed8ee56446b874500f733b60985c6fcf645f829d /src/solve.c | |
| parent | 9afb1a31f456b82f87539569055a76d23d0490b4 (diff) | |
| download | nissy-classic-98b8339bceb833eb2419bc349547cb8342e4be1a.tar.gz nissy-classic-98b8339bceb833eb2419bc349547cb8342e4be1a.zip | |
Print solutions to stderr when using -v
Diffstat (limited to '')
| -rw-r--r-- | src/solve.c | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/src/solve.c b/src/solve.c index 5581964..1078816 100644 --- a/src/solve.c +++ b/src/solve.c | |||
| @@ -156,7 +156,8 @@ dfs_check_solved(DfsArg *arg) | |||
| 156 | inplace(unniss, arg->sols->last->alg); | 156 | inplace(unniss, arg->sols->last->alg); |
| 157 | 157 | ||
| 158 | if (arg->opts->verbose) | 158 | if (arg->opts->verbose) |
| 159 | print_alg(arg->sols->last->alg, false); | 159 | print_alg(stderr, |
| 160 | arg->sols->last->alg, false); | ||
| 160 | } | 161 | } |
| 161 | 162 | ||
| 162 | pthread_mutex_unlock(arg->sols_mutex); | 163 | pthread_mutex_unlock(arg->sols_mutex); |