nodestack: make 'iter' signed

[model-checker.git] / nodestack.h

diff --git a/nodestack.h b/nodestack.h
index 90d84bd6dea21da0ab677971acdb3893e9609780..4db15fc23706b34e06e75abc1ca7204e430b40dc 100644 (file)
--- a/nodestack.h
+++ b/nodestack.h
@@ -166,7 +166,14 @@ public:
        MEMALLOC
 private:
        node_list_t node_list;
-       unsigned int iter;
+
+       /**
+        * @brief the index position of the current head Node
+        *
+        * This index is relative to node_list. The index should point to the
+        * current head Node.
+        */
+       int iter;
 
        int total_nodes;
 };