From dc617f842ca537068b5e4775906e85defb468724 Mon Sep 17 00:00:00 2001 From: Alex Auvolat--bernstein Date: Mon, 25 Nov 2013 18:09:19 +0100 Subject: Added useless flush. --- main.c | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) 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); -- cgit v1.2.3