2001-02-24 16:45:52 +01:00
|
|
|
$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
|
2001-02-24 16:38:48 +01:00
|
|
|
@@ -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 */
|
