summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
-rw-r--r--Build/source/texk/web2c/pdftexdir/pdftosrc.cc6
1 files changed, 4 insertions, 2 deletions
diff --git a/Build/source/texk/web2c/pdftexdir/pdftosrc.cc b/Build/source/texk/web2c/pdftexdir/pdftosrc.cc
index ff3944fac0c..eb05da8ae3a 100644
--- a/Build/source/texk/web2c/pdftexdir/pdftosrc.cc
+++ b/Build/source/texk/web2c/pdftexdir/pdftosrc.cc
@@ -179,8 +179,10 @@ int main(int argc, char *argv[])
obj1.free();
obj2.free();
}
-/* FIXME: crashes here for xpdf 4.00. Is this line really necessary?
- Temporarily this line is disabled.
+/* The stream str is local, and it is never used hereafter.
+ When parser is deleted, Lexer(xref, str), and the stream str
+ are automatically deleted. Thus this line, which causes a crash
+ in the case of xpdf-4.00, is not necessary.
while (str->getChar() != EOF) ;
*/
delete parser;