diff --git a/src/util/arch/common/simd_utils.h b/src/util/arch/common/simd_utils.h
index d8499ea2..8a3b52cf 100644
--- a/src/util/arch/common/simd_utils.h
+++ b/src/util/arch/common/simd_utils.h
@@ -81,10 +81,10 @@ static inline void print_m128_2x64(const char *label, m128 vector) {
     printf("\n");
 }
 #else
-#define print_m128_16x8(label, vector) NULL
-#define print_m128_8x16(label, vector) NULL
-#define print_m128_4x32(label, vector) NULL
-#define print_m128_2x64(label, vector) NULL
+#define print_m128_16x8(label, vector) ;
+#define print_m128_8x16(label, vector) ;
+#define print_m128_4x32(label, vector) ;
+#define print_m128_2x64(label, vector) ;
 #endif
 
 /****