From 208de7db6a8c5679a13c48f2822024ba5f531f41 Mon Sep 17 00:00:00 2001
From: Gabriel Tofvesson <contact@w1zzrd.dev>
Date: Fri, 13 Mar 2020 02:34:33 +0100
Subject: [PATCH] Fix verbosity bug

---
 main.c | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/main.c b/main.c
index c7f2f42..c5543e9 100644
--- a/main.c
+++ b/main.c
@@ -329,7 +329,7 @@ simplify (
 
   if (verbosity > 0)
   {
-    if ((*counter) & (0xFFFF >> (4 * (4 - verbosity))))
+    if ((*counter) & (0xFFFF >> (4 * (4 - verbosity))) == 0)
     {
       print_board_verbose (board, 0, 0);
       ansi_set_cursor (0, 35);