Bug#754471: bibtool: error on @patent entry

[Vincent Lefevre <vincent@vinc17.net>]

Package: bibtool
Version: 2.57+ds-1
Severity: normal

I get an error on the following .bib file:

@patent{brunie:hal-01021919,
  AUTHOR = {Brunie, Nicolas and De Dinechin, Florent and De Dinechin, Beno{\^\i}t},
  TITLE = {{MIXED-PRECISION MERGED MULTIPLICATION AND ADDITION OPERATOR}},
  NUMBER = {WO/2012/175828},
  ADDRESS = {France},
  YEAR = {2012},
  URL = {http://hal.inria.fr/hal-01021919}
}

$ bibtool -q test.bib

@patent{brunie:hal-01021919,
_^
*** BibTool ERROR:  (line 1 in ./test.bib): Unknown entry type

The @patent entry seems to be recognized in practice:

  http://www.fb10.uni-bremen.de/anglistik/langpro/bibliographies/jacobsen-bibtex.html

and in particular by IEEEtran.bst.

-- System Information:
Debian Release: jessie/sid
  APT prefers unstable
  APT policy: (500, 'unstable'), (500, 'testing'), (500, 'stable'), (1, 'experimental')
Architecture: amd64 (x86_64)
Foreign Architectures: i386

Kernel: Linux 3.14-1-amd64 (SMP w/8 CPU cores)
Locale: LANG=POSIX, LC_CTYPE=en_US.UTF-8 (charmap=UTF-8)
Shell: /bin/sh linked to /bin/dash

Versions of packages bibtool depends on:
ii  dpkg          1.17.10
ii  libc6         2.19-5
ii  libkpathsea6  2014.20140528.34243-4
ii  tex-common    5.02

bibtool recommends no packages.

bibtool suggests no packages.

-- no debconf information