2020-09-30 20:52:51 +02:00
|
|
|
#include "print.h"
|
2020-12-14 13:03:47 +01:00
|
|
|
|
2020-09-30 20:52:51 +02:00
|
|
|
#include <stdio.h>
|
|
|
|
|
|
|
|
|
|
void printChar(const char* character, bool errStream) {
|
2022-01-17 15:58:27 +01:00
|
|
|
if (errStream) {
|
|
|
|
|
putc(*character, stderr);
|
|
|
|
|
return;
|
|
|
|
|
}
|
|
|
|
|
putc(*character, stdout);
|
2020-09-30 20:52:51 +02:00
|
|
|
}
|
