summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
-rw-r--r--main.c2
1 files changed, 1 insertions, 1 deletions
diff --git a/main.c b/main.c
index 5d030de..0c2d794 100644
--- a/main.c
+++ b/main.c
@@ -15,7 +15,7 @@ void max_clique_a(const graph g, set k, set c, set *mc) {
if (set_size(k) > set_size(*mc)) {
delete_set(*mc);
*mc = copy_set(k);
- printf("Found new max clique: "); dump_set(*mc);
+ printf("Found new max clique: "); dump_set(*mc); fflush(stdout);
}
} else {
set cc = copy_set(c);