Module Name:	basesrc
Committed By:	tv
Date:		Thu Jan 31 22:30:22 UTC 2002

Modified Files:
	basesrc/usr.bin/xlint/lint1: scan.l tree.c

Log Message:
Use !finite() instead of isinf() in two places for better compatibility.


To generate a diff of this commit:
cvs rdiff -r1.25 -r1.26 basesrc/usr.bin/xlint/lint1/scan.l
cvs rdiff -r1.23 -r1.24 basesrc/usr.bin/xlint/lint1/tree.c

Please note that diffs are not public domain; they are subject to the
copyright notices on the relevant files.