blob: 1a1122dbc390aecccd17799b1dc3c1c6fa5200a5 [file] [log] [blame]
%include guilemain.i
/* Include the required FILE * typemaps */
%include ports.i
%{
#include <stdio.h>
%}
%inline %{
void print_int(FILE *f, int i);
int read_int(FILE *f);
%}