up

[mc1516pa.git] / modelchecker / coord.c

diff --git a/modelchecker/coord.c b/modelchecker/coord.c
index 9f179c6..6325091 100644 (file)
--- a/modelchecker/coord.c
+++ b/modelchecker/coord.c
@@ -271,9 +271,7 @@ state_t *explstate(state *init, rels *rls, state *g){
                 if (check_goal(new, g->bdd, init->vars.varset) == 0){
                     lurd_t *lrd = (lurd_t *)malloc(sizeof(lurd_t));
                     state_t *new_state = (state_t *)malloc(sizeof(state_t));
-                    printf("here1\n");
                     memcpy(lrd, tmp_state->lrd, sizeof(lurd_t));
-                    printf("here2\n");
                     new_state->bdd = new;
                     new_state->vars = init->vars;
                     lrd = lappend(lrd, 'l');
@@ -337,11 +335,9 @@ state_t *explstate(state *init, rels *rls, state *g){
         if (new != sylvan_false && new != tmp_state->bdd){
             if (check_visited(new, visited, init->vars.varset) == 0){
                 if (check_goal(new, g->bdd, init->vars.varset) == 0){
-                    printf("Here1\n");
                     lurd_t *lrd = (lurd_t *)malloc(sizeof(lurd_t));
                     state_t *new_state = (state_t *)malloc(sizeof(state_t));
                     memcpy(lrd, tmp_state->lrd, sizeof(lurd_t));
-                    printf("Here2\n");
 
                     new_state->bdd = new;
                     new_state->vars = init->vars;