/* LINTLIBRARY */
#include "copyright.h"
#include "port.h"
#include "utility.h"

/*
 *  util_print_time -- massage a long which represents a time interval in
 *  milliseconds, into a string suitable for output 
 *
 *  Hack for IBM/PC -- avoids using floating point
 */

char *
util_print_time(long int t)
{
    static char s[40];
    (void) snprintf(s, sizeof(s), "%ld.%02ld sec", t/1000, (t%1000)/10); /** MM: zmenene na secure version */
    return s;
}
