remove dead conditional clause

This code is only reachable when this condition is already known-true, due to
the containing loop.

diff --git a/lib/vpsc/solve_VPSC.cpp b/lib/vpsc/solve_VPSC.cpp
index dbe438428ab8f50dd50299ee6e6e68f17a265e3b..420f5b37ffd8fb83715a1b27c8617463707fa001 100644 (file)
--- a/lib/vpsc/solve_VPSC.cpp
+++ b/lib/vpsc/solve_VPSC.cpp
@@ -332,7 +332,7 @@ bool VPSC::constraintGraphIsCyclic(const unsigned n, Variable *vs[]) {
                                break;
                        }
                }
-               if(i==graph.end() && !graph.empty()) {
+               if(i==graph.end()) {
                        //cycle found!
                        return true;
                } else {