Make stack popping explicit.

[model-checker.git] / model.cc

diff --git a/model.cc b/model.cc
index 0c5733b543cf84899a582cdabfd6eecb1fba8b90..a22e17e1f46fd20c780136f6f232399170111356 100644 (file)
--- a/model.cc
+++ b/model.cc
@@ -132,6 +132,7 @@ thread_id_t ModelChecker::get_next_replay_thread()
                DEBUG("*** Divergence point ***\n");
                tid = node->get_next_backtrack();
                diverge = NULL;
+               node_stack->pop_restofstack();
        } else {
                tid = next->get_tid();
        }