missing commit of mo_graph changes

diff --git a/model.cc b/model.cc
index 3b13eda..3b82770 100644 (file)
--- a/model.cc
+++ b/model.cc
@@ -660,6 +660,7 @@ Thread * ModelChecker::check_current_action(ModelAction *curr)
                                if (w_modification_order(act))
                                        updated = true;
                        }
+                       mo_graph->commitChanges();
 
                        if (updated)
                                work_queue.push_back(CheckRelSeqWorkEntry(act->get_location()));