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

model: simple refactoring

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

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