14 lines
481 B
Text
14 lines
481 B
Text
|
--- mainsub.c.old 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 */
|