/* timing function: difference between two calls is processor time
 * spent by your code (in seconds) 
 * hopefully portable, but surely there are systems it doesn't work on.
 * $Id: timer.h,v 1.3 1997/01/03 02:33:01 mslevine Exp $
 */

#ifndef __TIMER_H__
#define __TIMER_H__

float timer(void);

#endif /*__TIMER_H__ */
