missing commit of mo_graph changes

diff --git a/model.cc b/model.cc
index 3b13eda66e91cec5d42a219e658f4afc1f3227b4..3b8277080635688b6e9ddff8bfcb8011995ed315 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;
                        }
                                if (w_modification_order(act))
                                        updated = true;
                        }

+                       mo_graph->commitChanges();

 
                        if (updated)
                                work_queue.push_back(CheckRelSeqWorkEntry(act->get_location()));
 
                        if (updated)
                                work_queue.push_back(CheckRelSeqWorkEntry(act->get_location()));