2013-09-26 17:14:40 +02:00

16 lines
538 B
Plaintext

$NetBSD: patch-ad,v 1.2 2001/02/24 15:45:53 jtb Exp $
--- mainsub.c.orig Wed Jul 7 02:22:15 1999
+++ mainsub.c Wed Jul 7 02:22:30 1999
@@ -1238,8 +1238,8 @@
times(&TIMES); /* get time */
ttemp = TIMES.tms_stime + TIMES.tms_utime;
tprint2 ("CPU time = %.3lf sec (Constraints Handling = %.3lf sec)\n",
- (ttemp - TIMESAVE) / CPUTIME.0,
- (CONSTRAINT_HANDLING_TIME / CPUTIME.0));
+ (ttemp - TIMESAVE) / (float)CPUTIME,
+ (CONSTRAINT_HANDLING_TIME / (float)CPUTIME));
}
void settimer() { /* set clock */