Project

General

Profile

« Previous | Next » 

Revision a9b87a15

Added by Pierre-Loïc Garoche about 5 years ago

Extending types to machine types

View differences:

include/io_frontend.h
22 22
/*@ assigns \nothing; */
23 23
extern void _put_int(FILE* file, char* n, int _V);
24 24

  
25
/*@ assigns \nothing; */
26
extern void _put_float(FILE* file, char* n, float _V);
27

  
25 28
/*@ assigns \nothing; */
26 29
extern void _put_double(FILE* file, char* n, double _V);
27 30

  

Also available in: Unified diff