From cd2a0bbcf437b12d133fed739aed63eba63a5f59 Mon Sep 17 00:00:00 2001
From: Evgenii Grigorev <grigoevg@fel.cvut.cz>
Date: Sun, 14 Jul 2024 21:41:16 +0200
Subject: [PATCH] [#231] Fixed unintended crash

---
 s-pipes-core/src/main/java/cz/cvut/spipes/util/QueryUtils.java | 2 +-
 1 file changed, 1 insertion(+), 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
index eb86d852..c72f57b2 100644
--- 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