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

---
 tmu/clause_bank/cuda/calculate_clause_value_in_patch.cu | 4 ++--
 1 file changed, 2 insertions(+), 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
index d6b29478..da9724df 100644
--- 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");