}
}
- lint_assume (FRAME_LINES (f) >= 0);
+ lint_assume (0 <= FRAME_LINES (f));
pause_p = 0 < i && i < FRAME_LINES (f) - 1;
/* Now just clean up termcap drivers and set cursor, etc. */
else if (FLOATP (timeout))
{
double seconds = XFLOAT_DATA (timeout);
- if (seconds <= 0)
+ if (! (0 < seconds))
return Qt;
else
{