nodestack: rename 'iter' to 'head_idx'

[model-checker.git] / nodestack.h

diff --git a/nodestack.h b/nodestack.h
index 4db15fc23706b34e06e75abc1ca7204e430b40dc..44d739c9e9d752565fe76b67b4b49dce4cf778d9 100644 (file)
--- a/nodestack.h
+++ b/nodestack.h
@@ -173,7 +173,7 @@ private:
         * This index is relative to node_list. The index should point to the
         * current head Node.
         */
-       int iter;
+       int head_idx;
 
        int total_nodes;
 };