emergency commit

[cl-cudd.git] / distr / util / ptime.c

/* LINTLIBRARY */
#include "util.h"

/* backwards compatibility */
long 
ptime()
{
    return util_cpu_time();
}