Clean up output printing.

2023-04-16 15:59:14 -07:00
parent c2c2cbd02a
commit 74848d84f8
2 changed files with 6 additions and 2 deletions
--- a/runtime/rts.c
+++ b/runtime/rts.c
@@ -1,8 +1,9 @@
 #include <stdint.h>
 #include <stdio.h>
+#include <inttypes.h>

-void print(char *_ignore, char *variable_name, uint64_t value) {
-    printf("%s = %llii64\n", variable_name, value);
+void print(char *_ignore, char *variable_name, int64_t value) {
+    printf("%s = %" PRId64 "i64\n", variable_name, value);
 }

 void caller() {