From: Brian Demsky <bdemsky@uci.edu>
Date: Sat, 29 Sep 2012 03:58:27 +0000 (-0700)
Subject: missing commit of mo_graph changes
X-Git-Tag: pldi2013~144
X-Git-Url: http://demsky.eecs.uci.edu/git/?a=commitdiff_plain;h=0411b146dabd1aa32fc557067f0b5f74df8fc42b;p=model-checker.git

missing commit of mo_graph changes
---

diff --git a/model.cc b/model.cc
index 3b13eda..3b82770 100644
--- 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()));