model: group snapshottable ModelChecker members in struct

[model-checker.git] / action.cc

diff --git a/action.cc b/action.cc
index 692d14cf03033d4b3c89ed7e05a7d386acdfe352..205bedbf6f12806835a503975e95709162630070 100644 (file)
--- a/action.cc
+++ b/action.cc
@@ -218,6 +218,9 @@ void ModelAction::print(void) const
        case THREAD_JOIN:
                type_str = "thread join";
                break;
+       case THREAD_FINISH:
+               type_str = "thread finish";
+               break;
        case ATOMIC_READ:
                type_str = "atomic read";
                break;