nodestack: remove extra blank lines

[model-checker.git] / nodestack.cc

diff --git a/nodestack.cc b/nodestack.cc
index ccf79e40ea99b3726cbe092e6f0942b7659c61cb..a4d2b1a491a989cb094f8709d2d3ca19e2687b0e 100644 (file)
--- a/nodestack.cc
+++ b/nodestack.cc
@@ -195,7 +195,6 @@ bool Node::promise_empty() const
        return true;
 }
 
-
 void Node::set_misc_max(int i)
 {
        misc_max = i;
@@ -216,7 +215,6 @@ bool Node::misc_empty() const
        return (misc_index + 1) >= misc_max;
 }
 
-
 /**
  * Adds a value from a weakly ordered future write to backtrack to. This
  * operation may "fail" if the future value has already been run (within some
@@ -399,7 +397,6 @@ modelclock_t Node::get_future_value_expiration() const
        return future_values[future_index].expiration;
 }
 
-
 int Node::get_read_from_size() const
 {
        return may_read_from.size();