Prevent iterator from incrementing after basic variable found (#54)

* Reading TF SavedModels * Bug fix: getNewVariable already increments numVars * Small bug fix * Make style consistent
NeuralNetworkVerification · May 26, 2018 · 816f33b · 816f33b
1 parent 606fa7a
commit 816f33b
Showing 1 changed file with 4 additions and 2 deletions.
diff --git a/src/engine/Engine.cpp b/src/engine/Engine.cpp
@@ -452,8 +452,10 @@ void Engine::fixViolatedPlConstraintIfPossible()
                 found = true;
             }
         }
-
-        ++it;
+        if ( !found )
+        {
+            ++it;
+        }
     }
 
     // If we couldn't find an eligible fix, give up