1 files changed, 0 insertions, 128 deletions
diff --git a/test/lib/compcert_stdio.c b/test/lib/compcert_stdio.c
deleted file mode 100644
index 28c9da4..0000000
--- a/test/lib/compcert_stdio.c
+++ /dev/null
@@ -1,128 +0,0 @@
-#include <stdarg.h>
-#define INSIDE_COMPCERT_COMPATIBILITY_LIBRARY
-#include "compcert_stdio.h"
-
-compcert_FILE * compcert_stdin = (compcert_FILE *) stdin;
-compcert_FILE * compcert_stdout = (compcert_FILE *) stdout;
-compcert_FILE * compcert_stderr = (compcert_FILE *) stderr;
-
-void	 compcert_clearerr(compcert_FILE * f)
-{
-  clearerr((FILE *) f);
-}
-
-int	 compcert_fclose(compcert_FILE * f)
-{
-  return fclose((FILE *) f);
-}
-
-int	 compcert_feof(compcert_FILE * f)
-{
-  return feof((FILE *) f);
-}
-
-int	 compcert_ferror(compcert_FILE * f)
-{
-  return ferror((FILE *) f);
-}
-
-int	 compcert_fflush(compcert_FILE * f)
-{
-  return fflush((FILE *) f);
-}
-
-int	 compcert_fgetc(compcert_FILE * f)
-{
-  return fgetc((FILE *) f);
-}
-
-char	*compcert_fgets(char * s, int n, compcert_FILE * f)
-{
-  return fgets(s, n, (FILE *) f);
-}
-
-compcert_FILE	*compcert_fopen(const char * p, const char * m)
-{
-  return (compcert_FILE *) fopen(p, m);
-}
-
-int	 compcert_fprintf(compcert_FILE * f, const char * s, ...)
-{
-  va_list ap;
-  int retcode;
-  va_start(ap, s);
-  retcode = vfprintf((FILE *) f, s, ap);
-  va_end(ap);
-  return retcode;
-}
-
-int	 compcert_fputc(int c, compcert_FILE * f)
-{
-  return fputc(c, (FILE *) f);
-}
-
-int	 compcert_fputs(const char * s, compcert_FILE * f)
-{
-  return fputs(s, (FILE *) f);
-}
-
-size_t	 compcert_fread(void * s, size_t p, size_t q, compcert_FILE * f)
-{
-  return fread(s, p, q, (FILE *) f);
-}
-
-compcert_FILE	*compcert_freopen(const char * s, const char * m,
-                                  compcert_FILE * f)
-{
-  return (compcert_FILE *) freopen(s, m, (FILE *) f);
-}
-
-int	 compcert_fscanf(compcert_FILE * f, const char * s, ...)
-{
-  va_list ap;
-  int retcode;
-  va_start(ap, s);
-  retcode = vfscanf((FILE *) f, s, ap);
-  va_end(ap);
-  return retcode;
-}
-
-int	 compcert_fseek(compcert_FILE * f, long p, int q)
-{
-  return fseek((FILE *) f, p, q);
-}
-
-long	 compcert_ftell(compcert_FILE *f)
-{
-  return ftell((FILE *) f);
-}
-
-size_t	 compcert_fwrite(const void * b, size_t p, size_t q, compcert_FILE * f)
-{
-  return fwrite(b, p, q, (FILE *) f);
-}
-
-int	 compcert_getc(compcert_FILE * f)
-{
-  return getc((FILE *) f);
-}
-
-int	 compcert_putc(int c , compcert_FILE * f)
-{
-  return putc(c, (FILE *) f);
-}
-
-void	 compcert_rewind(compcert_FILE * f)
-{
-  rewind((FILE *) f);
-}
-
-int	 compcert_ungetc(int c, compcert_FILE * f)
-{
-  return ungetc(c, (FILE *) f);
-}
-
-int	 compcert_vfprintf(compcert_FILE * f, const char * s, va_list va)
-{
-  return vfprintf((FILE *) f, s, va);
-}