Commit bf8168df2e8844551b2b063b848d266607082ebc

Tom Tromey 1998-06-01T20:24:45

Fixed check buglet