Update lint.c