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

#include <time.h>

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