From 01e5b47df941506c903b1c41e26623ce1b84092e Mon Sep 17 00:00:00 2001
From: Ole-Christoffer Granmo <ole.granmo@uia.no>
Date: Fri, 11 Oct 2024 10:27:33 +0200
Subject: [PATCH] Update

---
 tmu/lib/src/ClauseBank.c | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/tmu/lib/src/ClauseBank.c b/tmu/lib/src/ClauseBank.c
index 5b65e946..d36881a5 100644
--- a/tmu/lib/src/ClauseBank.c
+++ b/tmu/lib/src/ClauseBank.c
@@ -315,7 +315,7 @@ static inline unsigned int cb_calculate_clause_output_with_literal_active(
 	unsigned int filter,
 	unsigned int *literal_active,
 	unsigned int *Xi,
-	print
+	int print
 )
 {