no-pretty fix

melsman · Nov 1, 2023 · a63cfcc · a63cfcc
1 parent ffd9f32
commit a63cfcc
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/src/Runtime/Repl.c b/src/Runtime/Repl.c
@@ -143,7 +143,7 @@ print_value(char* tau, char* lab, size_t len, char* buf) {
     exit(EXIT_FAILURE);
   }
   int ret = 0;
-  if ( strcmp(tau, "int") == 0 ) {
+  if ( strcmp(tau, "int") == 0 || strcmp(tau, "int64") == 0 ) {
     ret = snprintf(buf, len, "%lld", convertIntToC(*(long long*)symb));
   } else if ( strcmp(tau, "bool") == 0 ) {
     if ( *(long long*)symb == mlTRUE ) {