X-Git-Url: http://plrg.eecs.uci.edu/git/?p=model-checker.git;a=blobdiff_plain;f=action.cc;h=c12165b0322a2beb4ff9c25fd33be05f1f7630f2;hp=b4f4e434934cfd0d68adf06ba54bd2b5ada102a0;hb=1af30302f46d984b38a02a3f21ec53a5a9de0f71;hpb=8669bd6f88178382893b48223498611f2200714a

diff --git a/action.cc b/action.cc
index b4f4e43..c12165b 100644
--- a/action.cc
+++ b/action.cc
@@ -50,6 +50,11 @@ void ModelAction::set_seq_number(modelclock_t num)
 	seq_number = num;
 }
 
+bool ModelAction::is_relseq_fixup() const
+{
+	return type == MODEL_FIXUP_RELSEQ;
+}
+
 bool ModelAction::is_mutex_op() const
 {
 	return type == ATOMIC_LOCK || type == ATOMIC_TRYLOCK || type == ATOMIC_UNLOCK;
@@ -305,6 +310,9 @@ void ModelAction::print() const
 {
 	const char *type_str, *mo_str;
 	switch (this->type) {
+	case MODEL_FIXUP_RELSEQ:
+		type_str = "relseq fixup";
+		break;
 	case THREAD_CREATE:
 		type_str = "thread create";
 		break;