model: simple refactoring

This condition is useless. We can just return next_thrd directly.

diff --git a/model.cc b/model.cc
index 856a33d2cdfa13d2db741797d4fc0f1681a9fd04..cc035084b036015b94181ef7c61b17d2bbf77f65 100644 (file)
--- a/model.cc
+++ b/model.cc
@@ -2744,10 +2744,6 @@ Thread * ModelChecker::take_step(ModelAction *curr)
                return model_thread;
        }
 
                return model_thread;
        }
 

-       /* next_thrd == NULL -> don't take any more steps */
-       if (!next_thrd)
-               return NULL;
-

        return next_thrd;
 }
 
        return next_thrd;
 }