New external call: print_int()

perezzini · Dec 4, 2017 · 34ea884 · 34ea884
1 parent f7f63eb
commit 34ea884
Showing 1 changed file with 4 additions and 0 deletions.
diff --git a/runtime.c b/runtime.c
@@ -60,6 +60,10 @@ void print(string *s)
     for (i = 0; i < s->length; i++, p++)
 		putchar(*p);
 }
+void print_int(long i)
+{
+	printf("%ld", i);
+}
 void flush()
 {
     fflush(stdout);