From 6c69f716484f7a5acee72e0f02813fb98f4ac2ad Mon Sep 17 00:00:00 2001
From: Brian Norris <banorris@uci.edu>
Date: Fri, 15 Feb 2013 12:17:06 -0800
Subject: [PATCH] model: simple refactoring

This condition is useless. We can just return next_thrd directly.
---
 model.cc | 4 ----
 1 file changed, 4 deletions(-)

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