model: simple refactoring
[c11tester.git] / model.cc
index 856a33d..cc03508 100644 (file)
--- a/model.cc
+++ b/model.cc
@@ -2744,10 +2744,6 @@ Thread * ModelChecker::take_step(ModelAction *curr)
                return model_thread;
        }
 
-       /* next_thrd == NULL -> don't take any more steps */
-       if (!next_thrd)
-               return NULL;
-
        return next_thrd;
 }