diff --git a/src/inport/ConversionUtils/Solver.java b/src/inport/ConversionUtils/Solver.java
index 0c92c201ce3c719ba6452a083870392298cf8dda..0ee32a984ecc22ca033a7b3cf2551223920be7e0 100644
--- a/src/inport/ConversionUtils/Solver.java
+++ b/src/inport/ConversionUtils/Solver.java
@@ -163,6 +163,7 @@ public class Solver {
                     }
                     pb = new ProcessBuilder("external_tools/or-tools_flatzinc_Ubuntu-18.04-64bit_v7.2.6977/bin/fzn-or-tools",
                             flatZincConstraints);
+                    break;
                 }
                 case Undefined: {
                     if (flatZincSolver.isEmpty()) {
@@ -185,6 +186,7 @@ public class Solver {
                         }
                     }
                     pb = new ProcessBuilder(flatZincSolver, flatZincConstraints);
+                    break;
                 }
                 default:
                     return "Undefined solver.";