Update

cair · Oct 11, 2024 · f623590 · f623590
1 parent 2a1a652
commit f623590
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/tmu/clause_bank/cuda/calculate_clause_value_in_patch.cu b/tmu/clause_bank/cuda/calculate_clause_value_in_patch.cu
@@ -71,7 +71,7 @@ extern "C"
             unsigned int *ta_state = &global_ta_state[clause*number_of_ta_chunks*number_of_state_bits];
 
             if (clause == 0) {
-                prinf("* ");
+                printf("* ");
                 for (int k = 0; k < number_of_literals; ++k) {
                     int literal_chunk = k / 32;
                     int literal_pos = k % 32;