From f47cdec650b7d9174c4ecc144472d3bd9865c41a Mon Sep 17 00:00:00 2001
From: David Mak <chmakac@connect.ust.hk>
Date: Tue, 9 Jul 2024 13:55:48 +0800
Subject: [PATCH] standalone: Fix output format of output_range

---
 nac3standalone/demo/demo.c | 5 +----
 1 file changed, 1 insertion(+), 4 deletions(-)

diff --git a/nac3standalone/demo/demo.c b/nac3standalone/demo/demo.c
index 28c643386..bd2be3865 100644
--- a/nac3standalone/demo/demo.c
+++ b/nac3standalone/demo/demo.c
@@ -46,10 +46,7 @@ void output_float64(double x) {
 
 void output_range(int32_t range[3]) {
     printf("range(");
-    if (range[0] != 0) {
-        printf("%d, ", range[0]);
-    }
-    printf("%d", range[1]);
+    printf("%d, %d", range[0], range[1]);
     if (range[2] != 1) {
         printf(", %d", range[2]);
     }