Update

cair · Oct 11, 2024 · aeeaeeb · aeeaeeb
1 parent efe3b0d
commit aeeaeeb
Showing 1 changed file with 2 additions and 2 deletions.
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,13 +71,13 @@ extern "C"
             unsigned int *ta_state = &global_ta_state[clause*number_of_ta_chunks*number_of_state_bits];
 
             if (clause == 0) {
-                printf("* ");
+                printf("*");
                 for (int k = 0; k < number_of_literals; ++k) {
                     int literal_chunk = k / 32;
                     int literal_pos = k % 32;
 
                     if (ta_state[literal_chunk*number_of_state_bits + number_of_state_bits - 1] & (1 << literal_pos)) {
-                        printf("%d", k);
+                        printf(" %d", k);
                     }
                 }
                 printf("\n");