[#231] Fixed unintended crash

kbss-cvut · Jul 15, 2024 · cd2a0bb · cd2a0bb
1 parent 4745de5
commit cd2a0bb
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/s-pipes-core/src/main/java/cz/cvut/spipes/util/QueryUtils.java b/s-pipes-core/src/main/java/cz/cvut/spipes/util/QueryUtils.java
@@ -188,7 +188,7 @@ public static Query createQuery(org.topbraid.spin.model.Query spinQuery) {
             String msg = e.getMessage();
             Pattern pattern = Pattern.compile("line\\s+(\\d+)");
             Matcher matcher = pattern.matcher(msg);
-            assert(matcher.find());
+            matcher.find();
             String numberAfterLine = matcher.group(1);
             int wrongLineNumber = Integer.valueOf(numberAfterLine); //e.g
             // etLine() returns wrong number for some reason