blob: e4093890e36ef909b43897361d314cc1b418a100 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
|
#include "driver/stdout.h"
#include <stdio.h>
void StandardOutput::put(char c)
{
fputc(c, stdout);
}
void StandardOutput::flush()
{
fflush(stdout);
}
StandardOutput kout;
|