/****************************************************************************
 *
 * $Source: /usr/local/cvsroot/gccsdk/unixlib/source/time/difftime.c,v $
 * $Date: 2001/01/29 15:10:22 $
 * $Revision: 1.2 $
 * $State: Exp $
 * $Author: admin $
 *
 ***************************************************************************/

#ifdef EMBED_RCSID
static const char rcs_id[] = "$Id: difftime.c,v 1.2 2001/01/29 15:10:22 admin Exp $";
#endif

#include <time.h>

double
difftime (time_t time1, time_t time0)
{
  return (double)time1 - (double)time0;
}
