From 5583a9502b9615696c0627ed851370156fc162e7 Mon Sep 17 00:00:00 2001 From: Mart Lubbers Date: Thu, 21 Apr 2016 20:59:19 +0200 Subject: [PATCH] added verdict, also in positive case_ --- modelchecker/main.c | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) 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; } -- 2.20.1