Update

cair · Oct 11, 2024 · 01e5b47 · 01e5b47
1 parent 072c7e5
commit 01e5b47
Showing 1 changed file with 1 addition and 1 deletion.
diff --git 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
 )
 {