From 24f45eecb216c12f1ab8c508523ff1a5d9a0202e Mon Sep 17 00:00:00 2001
From: tjjfvi <t6@t6.fyi>
Date: Tue, 21 May 2024 16:21:38 -0400
Subject: [PATCH] ...

---
 src/hvm.cu | 6 +++++-
 1 file changed, 5 insertions(+), 1 deletion(-)

diff --git a/src/hvm.cu b/src/hvm.cu
index 46bb7e12..81ec0cb5 100644
--- a/src/hvm.cu
+++ b/src/hvm.cu
@@ -2150,7 +2150,11 @@ __device__ void pretty_print_port(Net* net, Port port) {
         break;
       }
       case ERA: {
-        printf("%c", ((char)get_val(cur)) || '*');
+        if (get_val(cur) != 0) {
+          printf("%c", (char)get_val(cur));
+        } else {
+          printf("*");
+        }
         break;
       }
       case VAR: {