Fix double delete for file_case usage..
commit678a79946d1321c0a63f2499236829237b0f157f
authorSteffen Nurpmeso <sdaoden@users.sf.net>
Thu, 9 Oct 2014 12:29:39 +0000 (9 14:29 +0200)
committerSteffen Nurpmeso <sdaoden@users.sf.net>
Tue, 14 Jul 2015 14:28:28 +0000 (14 16:28 +0200)
tree8fc943dd358097ce04a1fd74f84b77ef58b49bb8
parent287d7b4fbf6c9e2d4b35ade17b16569e49e89d74
Fix double delete for file_case usage..

This fixes (Encapsulate searchpath:: FILE*'s in new class
file_case), the very first commit of this series.
At that time i falsely thought that the ownership is not overtaken
but that recursion occurs, so that the caller is still responsible
for the file_case* pointer, which is plain wrong, since
a file_iterator object is still created and that always overtakes
ownership.
src/roff/troff/input.cpp