...

HigherOrderCO · May 21, 2024 · 24f45ee · 24f45ee
1 parent 077d745
commit 24f45ee
Showing 1 changed file with 5 additions and 1 deletion.
diff --git 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: {