X-Git-Url: http://plrg.eecs.uci.edu/git/?p=c11tester.git;a=blobdiff_plain;f=model.cc;h=8f8bd88baad9147aeb205829d820eaaad3a28d8c;hp=4844c566a0a1ba898e3a94ac126f30a26b7afc01;hb=0174d94668ca990b0d8258b1ed5b2611874cffe9;hpb=35dd2c2087e76909e28e2754ad361bec5dff8f2a

diff --git a/model.cc b/model.cc
index 4844c566..8f8bd88b 100644
--- a/model.cc
+++ b/model.cc
@@ -353,7 +353,8 @@ void ModelChecker::check_current_action(void)
 	Node *currnode = curr->get_node();
 	Node *parnode = currnode->get_parent();
 
-	if (!parnode->backtrack_empty()||!currnode->read_from_empty()||!currnode->future_value_empty()||!currnode->promise_empty())
+	if (!parnode->backtrack_empty() || !currnode->read_from_empty() ||
+	          !currnode->future_value_empty() || !currnode->promise_empty())
 		if (!next_backtrack || *curr > *next_backtrack)
 			next_backtrack = curr;