X-Git-Url: https://git.martlubbers.net/?a=blobdiff_plain;f=modelchecker%2Fmain.c;fp=modelchecker%2Fmain.c;h=4c03c32e93199390d5e72cf40872ffd69095b1c5;hb=5583a9502b9615696c0627ed851370156fc162e7;hp=07a665c06e8c2cd37a2c26ed79862540c11fefff;hpb=313c58c1cd85852f33ff7ca7c638ccb3066d5069;p=mc1516pa.git

diff --git a/modelchecker/main.c b/modelchecker/main.c
index 07a665c..4c03c32 100644
--- a/modelchecker/main.c
+++ b/modelchecker/main.c
@@ -135,7 +135,7 @@ int solve(FILE *inputstream, char *lurd)
 		printf("no solution\n");
 		return 1;
 	}
-
+	DPRINT("Solution found\n");
 	return 0;
 }