Update testingUtils to use printf(), putchar() isn't a known external function anymore.

1 files changed, 3 insertions, 3 deletions

diff --git a/test/Concrete/_testingUtils.c b/test/Concrete/_testingUtils.c
index 02d0529e..3afbc2fa 100644
--- a/test/Concrete/_testingUtils.c
+++ b/test/Concrete/_testingUtils.c
@@ -1,4 +1,4 @@
-int putchar(int x);
+int printf(const char *fmt, ...);
 
 void print_int(unsigned long long val);
 
@@ -22,11 +22,11 @@ void print_int(unsigned long long val) {
     while (cur) {
         int digit = val / cur;
 
-        putchar(digit + '0');
+        printf("%c", digit + '0');
         
         val = val % cur;
         cur /= 10;
     }
     
-    putchar('\n');
+    printf("%c", '\n');
 }