tiny update

diff --git a/modelchecker/main.c b/modelchecker/main.c
index 2b2b602..85c6303 100644 (file)
--- 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();