/* difftime.c (emx+gcc) -- Copyright (c) 1990-1993 by Eberhard Mattes */

#include <time.h>

double difftime (time_t t1, time_t t0)
{
  return ((double)t1-(double)t0);
}