# File lib/kirbybase.rb, line 3613
    def delete_index_rec(recno)
        raise 'Table has no index record for recno: %s' % recno unless \
         @idx_hash.has_key?(recno.to_i)
        @idx_hash.delete(recno.to_i)
    end