commit b1e4c2d44bab2bb10b93db8b0c6388f452f0eb04 parent db1514594b0dd5be498ab2f96f7fa0b7a1f09031 Author: Antoine Amarilli <a3nm@a3nm.net> Date: Sat, 7 Jun 2014 20:04:07 +0200 flush Diffstat:
main.c | | | 1 | + |
1 file changed, 1 insertion(+), 0 deletions(-)
diff --git a/main.c b/main.c @@ -515,6 +515,7 @@ int main(int argc, char **argv) { // we have found a configuration for K rooks; display it printf("!!! DONE %d rooks\n", K); print(); + fflush(stdout); } return 0; }