diff options
Diffstat (limited to 'Build/source')
-rw-r--r-- | Build/source/texk/web2c/pdftexdir/pdftosrc.cc | 6 |
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; |