blank lines, spacing, etc.

[model-checker.git] / model.cc

diff --git a/model.cc b/model.cc
index 4844c566a0a1ba898e3a94ac126f30a26b7afc01..8f8bd88baad9147aeb205829d820eaaad3a28d8c 100644 (file)
--- 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;