/*
 * timer.h
 *
 * Summary:  Used for internal timing.
 */

#ifndef H_TIMER
#define H_TIMER

#ifdef __cplusplus
extern "C" {
#endif

double time_of_day(void);

#ifdef __cplusplus
}
#endif

#endif