From: Mart Lubbers <mart@martlubbers.net>
Date: Thu, 21 Apr 2016 18:59:19 +0000 (+0200)
Subject: added verdict, also in positive case_
X-Git-Url: https://git.martlubbers.net/?a=commitdiff_plain;h=5583a9502b9615696c0627ed851370156fc162e7;p=mc1516pa.git

added verdict, also in positive case_
---

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;
 }