K 10 svn:author V 6 eivind K 8 svn:date V 27 1998-12-09T15:12:53.000000Z K 7 svn:log V 94 Remove the if fixed in the last commit; bde quite correctly point out that it can never fail. END