nodestack: remove unnecessary typedefs

[model-checker.git] / nodestack.cc

diff --git a/nodestack.cc b/nodestack.cc
index 02f5a89ef17fa320a4fed704e95a924fba0b5132..75ca012b2b65c4fe48eae6bb7f9cfccf109cd118 100644 (file)
--- a/nodestack.cc
+++ b/nodestack.cc
@@ -52,9 +52,8 @@ void Node::print()
 /** @brief Prints info about may_read_from set */
 void Node::print_may_read_from()
 {
-       readfrom_set_t::iterator it;
-       for (it = may_read_from.begin(); it != may_read_from.end(); it++)
-               (*it)->print();
+       for (unsigned int i = 0; i < may_read_from.size(); i++)
+               may_read_from[i]->print();
 }
 
 /**