From: Alexander Fedotov <soyaxhoya@gmail.com>
Date: Wed, 20 Apr 2016 13:52:54 +0000 (+0200)
Subject: oops
X-Git-Url: https://git.martlubbers.net/?a=commitdiff_plain;h=956facb67e30cb9964211d00110f287f0a8d43c0;p=mc1516pa.git

oops
---

diff --git a/modelchecker/main.c b/modelchecker/main.c
index bcf8c7b..85c6303 100644
--- a/modelchecker/main.c
+++ b/modelchecker/main.c
@@ -124,7 +124,6 @@ void solve(FILE *inputstream)
                 break;
             }
         }
-        printf("Solution is not found after %d iteration(s)\n", iteration);
     }
     else printf("No solution found!\n");
 	//ERRPRINT("Satcount: %f\n", sylvan_satcount(old, init->vars.varset));