From 20efbc962887c0f32bed654c0067a317fda95a7b Mon Sep 17 00:00:00 2001
From: Sebastian Krings <sebastian@krin.gs>
Date: Thu, 6 Oct 2016 11:32:54 +0200
Subject: [PATCH] add missing update of flag
---
.../stups/probkodkod/NonIncrementalSolverSolutionIterator.java | 1 +
1 file changed, 1 insertion(+)
diff --git a/src/main/java/de/stups/probkodkod/NonIncrementalSolverSolutionIterator.java b/src/main/java/de/stups/probkodkod/NonIncrementalSolverSolutionIterator.java
index d5b606c..afbd0ac 100644
--- a/src/main/java/de/stups/probkodkod/NonIncrementalSolverSolutionIterator.java
+++ b/src/main/java/de/stups/probkodkod/NonIncrementalSolverSolutionIterator.java
@@ -21,6 +21,7 @@ public class NonIncrementalSolverSolutionIterator implements Iterator<Solution>
@Override
public Solution next() {
if (!returned) {
+ returned = true;
return sol;
}
throw new RuntimeException("second solution of non-incremental solver requested");
--
GitLab