From 0411b146dabd1aa32fc557067f0b5f74df8fc42b Mon Sep 17 00:00:00 2001
From: Brian Demsky <bdemsky@uci.edu>
Date: Fri, 28 Sep 2012 20:58:27 -0700
Subject: [PATCH] missing commit of mo_graph changes

---
 model.cc | 1 +
 1 file changed, 1 insertion(+)

diff --git a/model.cc b/model.cc
index 3b13eda6..3b827708 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()));
-- 
2.34.1