X-Git-Url: http://plrg.eecs.uci.edu/git/?p=model-checker.git;a=blobdiff_plain;f=model.cc;h=41e4421c52f3c8b8c932330523771c7a32622649;hp=884ed64d0b30b51ec73954e3797f10a2e70fe793;hb=2cb7ca6d0aa997474b63f240c165e1a941cf6124;hpb=b4dd96124e3182bd2ae7d9d2b2ff332b3ef8fc27

diff --git a/model.cc b/model.cc
index 884ed64..41e4421 100644
--- a/model.cc
+++ b/model.cc
@@ -309,6 +309,10 @@ ModelAction * ModelChecker::get_parent_action(thread_id_t tid)
 	return parent;
 }
 
+ClockVector * ModelChecker::get_cv(thread_id_t tid) {
+	return get_parent_action(tid)->get_cv();
+}
+
 /**
  * Build up an initial set of all past writes that this 'read' action may read
  * from. This set is determined by the clock vector's "happens before"