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
 )
 {