--- a/src/Pure/Tools/bibtex.scala Sun Oct 05 13:16:24 2014 +0200
+++ b/src/Pure/Tools/bibtex.scala Sun Oct 05 15:05:26 2014 +0200
@@ -176,10 +176,8 @@
def is_ignored: Boolean = kind == "" && tokens.forall(_.is_ignored)
def is_malformed: Boolean = kind == "" || tokens.exists(_.is_malformed)
- def is_command: Boolean =
- Bibtex.is_command(kind) && name != "" && content.isDefined && !is_malformed
- def is_entry: Boolean =
- Bibtex.is_entry(kind) && name != "" && content.isDefined && !is_malformed
+ def is_command: Boolean = Bibtex.is_command(kind) && name != "" && content.isDefined
+ def is_entry: Boolean = Bibtex.is_entry(kind) && name != "" && content.isDefined
}