Ignore:
File:
1 edited

Legend:

Unmodified
Added
Removed

  • doc/papers/general/evaluation/c-print.h

    rac4dad2 r604e76d  
    22#include <stdio.h>
    33
    4 void print_string( FILE * out, const char * x );
    5 void print_bool( FILE * out, _Bool x );
    6 void print_char( FILE * out, char x );
    7 void print_int( FILE * out, int x );
     4void print_string(FILE* out, const char* x);
     5void print_bool(FILE* out, _Bool x);
     6void print_char(FILE* out, char x);
     7void print_int(FILE* out, int x);
    88
    9 void print( FILE * out, const char * fmt, ... );
     9void print(FILE* out, const char* fmt, ...);
Note: See TracChangeset for help on using the changeset viewer.