typebftime.h

Go to the documentation of this file.

 
#ifndef TYPETIME_H
#define TYPETIME_H
 
#include <time.h>
 
typedef double BFTime;
 
#endif // TYPETIME_H