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