nodestack: remove extra blank lines
authorBrian Norris <banorris@uci.edu>
Wed, 23 Jan 2013 18:30:46 +0000 (10:30 -0800)
committerBrian Norris <banorris@uci.edu>
Wed, 23 Jan 2013 18:30:46 +0000 (10:30 -0800)
nodestack.cc
nodestack.h

index ccf79e40ea99b3726cbe092e6f0942b7659c61cb..a4d2b1a491a989cb094f8709d2d3ca19e2687b0e 100644 (file)
@@ -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();
index 2dddf729b077c532f51e03e3be0fe8f60e1fccc5..dc872c740b9ea021ea9fb3261af8fc62aa4bf2ac 100644 (file)
@@ -43,7 +43,6 @@ struct fairness_info {
        bool priority;
 };
 
-
 /**
  * @brief A single node in a NodeStack
  *