From: Alexander Fedotov <soyaxhoya@gmail.com>
Date: Wed, 20 Apr 2016 13:43:10 +0000 (+0200)
Subject: tiny update
X-Git-Url: https://git.martlubbers.net/?a=commitdiff_plain;h=38007cf7f13ed61ef2d08c92763f51f4d0d45d04;p=mc1516pa.git

tiny update
---

diff --git a/modelchecker/main.c b/modelchecker/main.c
index 2b2b602..85c6303 100644
--- a/modelchecker/main.c
+++ b/modelchecker/main.c
@@ -126,7 +126,7 @@ void solve(FILE *inputstream)
         }
     }
     else printf("No solution found!\n");
-	ERRPRINT("Satcount: %f\n", sylvan_satcount(old, init->vars.varset));
+	//ERRPRINT("Satcount: %f\n", sylvan_satcount(old, init->vars.varset));
 //	sylvan_enum(old, init->vars.varset, (enum_cb)callback, NULL);
 //	sylvan_printdot_nc(old);
 	time_end_encode = clock();