Commit ff05038553e87d911809d2c7c94522ed0d22de7a

Tom Tromey 1996-10-11T04:35:14

Fix for recursive check; other fixes