From 812e31f429d279b6f0b0491487d0299648bb90fe Mon Sep 17 00:00:00 2001
From: ENGO150 <v.smejkal06@gmail.com>
Date: Thu, 21 Nov 2024 21:00:52 +0100
Subject: [PATCH] preventing modulating by 0 in tkch

---
 src/core/lib/utils/misc.c | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/core/lib/utils/misc.c b/src/core/lib/utils/misc.c
index 06302f7..9864d4b 100644
--- a/src/core/lib/utils/misc.c
+++ b/src/core/lib/utils/misc.c
@@ -34,7 +34,7 @@ along with this program.  If not, see <https://www.gnu.org/licenses/>.
 #include <why2/flags.h>
 #include <why2/memory.h>
 
-int mod_cb(int a, int b) { return a % b; }
+int mod_cb(int a, int b) { return a % (b == 0 ? 1 : b); }
 int multiply_cb(int a, int b) { return a * b; }
 int subtract_cb(int a, int b) { return a - b; }
 int sum_cb(int a, int b) { return a + b; }