diff options
Diffstat (limited to 'src/devices/grohtml/post-html.cc')
-rw-r--r-- | src/devices/grohtml/post-html.cc | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/src/devices/grohtml/post-html.cc b/src/devices/grohtml/post-html.cc index 2f5d757b..0af291eb 100644 --- a/src/devices/grohtml/post-html.cc +++ b/src/devices/grohtml/post-html.cc @@ -3759,7 +3759,6 @@ int main(int argc, char **argv) for (int i = optind; i < argc; i++) do_file(argv[i]); } - delete pr; return 0; } |