From 11b61d5d949580c365786b6a7220ad8b450aee6b Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?=D0=9A=D0=B8=D1=81=D0=B5=D0=BB=D1=91=D0=B2=20=D0=92=D0=BB?= =?UTF-8?q?=D0=B0=D0=B4=D0=B8=D1=81=D0=BB=D0=B0=D0=B2?= Date: Wed, 14 Aug 2019 19:16:12 +0300 Subject: [PATCH] =?UTF-8?q?break=20=D0=B2=20switch?= MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: 8bit --- src/inport/ConversionUtils/Solver.java | 2 ++ 1 file changed, 2 insertions(+) diff --git a/src/inport/ConversionUtils/Solver.java b/src/inport/ConversionUtils/Solver.java index 0c92c20..0ee32a9 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."; -- GitLab