added verdict, also in positive case_

[mc1516pa.git] / modelchecker / main.c

diff --git a/modelchecker/main.c b/modelchecker/main.c
index 07a665c..4c03c32 100644 (file)
--- 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;
 }