use a range-based for loop for iterating over block total order collection

diff --git a/lib/vpsc/solve_VPSC.cpp b/lib/vpsc/solve_VPSC.cpp
index cc43ef172cdf83c1972912694cc00d8b38562a70..dbe438428ab8f50dd50299ee6e6e68f17a265e3b 100644 (file)
--- a/lib/vpsc/solve_VPSC.cpp
+++ b/lib/vpsc/solve_VPSC.cpp
@@ -74,8 +74,7 @@ void VPSC::printBlocks() {
 */
 void VPSC::satisfy() {
        list<Variable*> *vs=bs.totalOrder();
-       for(list<Variable*>::iterator i=vs->begin();i!=vs->end();i++) {
-               Variable *v=*i;
+       for(Variable *v : *vs) {
                if(!v->block->deleted) {
                        bs.mergeLeft(v->block);
                }