K 10 svn:author V 7 wollman K 8 svn:date V 27 1997-08-17T19:47:28.000000Z K 7 svn:log V 147 Delete a bit of debugging code that mistakenly crept in, and as a consequence revert rev. 1.28's header file additions which are no longer needed. END