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)
                                         inplace(unniss, arg->sols->last->alg);
 
                                 if (arg->opts->verbose)
-                                        print_alg(arg->sols->last->alg, false);
+                                        print_alg(stderr,
+                                            arg->sols->last->alg, false);
                         }
 
                         pthread_mutex_unlock(arg->sols_mutex);