ichange

[model-checker.git] / model.cc

diff --git a/model.cc b/model.cc
index 72919c6d04b9e9aabed080f3b401aa6fcfa4e58a..7c0575fe198f055f38849889df7c38b10cdc46f2 100644 (file)
--- a/model.cc
+++ b/model.cc
@@ -381,6 +381,8 @@ Thread * ModelChecker::check_current_action(ModelAction *curr)
                        if (diverge == NULL)
                                tmp->create_cv(get_parent_action(tmp->get_tid()));
                        
+                       ASSERT(curr->get_location()==tmp->get_location());
+
                        delete curr;
                        curr = tmp;
                } else {