Don't dump core, when there were no recods indexed due to unknown type
authorpop <pop>
Wed, 26 Feb 2003 12:30:54 +0000 (12:30 +0000)
committerpop <pop>
Wed, 26 Feb 2003 12:30:54 +0000 (12:30 +0000)
commit769b0ece6d1eb33e0f499c798cfff292c4f41053
treed686a1ed41dc19f8129a62399b61dd8dfdaa5866
parent5b0f4f6cb31f0678fcf7ba9abc58ed9392b34a04
Don't dump core, when there were no recods indexed due to unknown type
index/extract.c