fix previous commit


To generate a diff of this commit:



	cvs diff -r1.445 -r1.446 krb5/src/include/ChangeLog