Fix bug

[c11tester.git] / funcnode.cc

diff --git a/funcnode.cc b/funcnode.cc
index d6672cb8901c4dbdb72d1db84c3f6cd1e401a53d..8cb39da9697efbbe0f7a8da397c2988f314f2c57 100644 (file)
--- a/funcnode.cc
+++ b/funcnode.cc
@@ -306,7 +306,7 @@ void FuncNode::update_predicate_tree(action_list_t * act_list)
                        inst_id_map.put(next_inst, inst_counter++);
 
                it = it->getNext();
                        inst_id_map.put(next_inst, inst_counter++);
 
                it = it->getNext();

-               curr_pred->incr_count();
+               curr_pred->incr_expl_count();

        }
 
        curr_pred->set_exit(predicate_tree_exit);
        }
 
        curr_pred->set_exit(predicate_tree_exit);