From: Brian Norris <banorris@uci.edu>
Date: Fri, 15 Feb 2013 20:17:06 +0000 (-0800)
Subject: model: simple refactoring
X-Git-Url: http://plrg.eecs.uci.edu/git/?p=c11tester.git;a=commitdiff_plain;h=6c69f716484f7a5acee72e0f02813fb98f4ac2ad;hp=09c3eb5539455e82dcb357fbce82bf5974c3a37c

model: simple refactoring

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

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;
 }