X-Git-Url: http://plrg.eecs.uci.edu/git/?p=c11tester.git;a=blobdiff_plain;f=model.cc;h=cc035084b036015b94181ef7c61b17d2bbf77f65;hp=856a33d2cdfa13d2db741797d4fc0f1681a9fd04;hb=6c69f716484f7a5acee72e0f02813fb98f4ac2ad;hpb=09c3eb5539455e82dcb357fbce82bf5974c3a37c

diff --git a/model.cc b/model.cc
index 856a33d2..cc035084 100644
--- 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;
 }