path: root/testsuite/tests/rts/T5423_c.c

#include <stdio.h>

void flush_stdout(void)
{
    fflush(stdout);
}