diff options
Diffstat (limited to 'source/tools/mudraw.c')
| -rw-r--r-- | source/tools/mudraw.c | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/source/tools/mudraw.c b/source/tools/mudraw.c index 883bbb37..0649bae0 100644 --- a/source/tools/mudraw.c +++ b/source/tools/mudraw.c @@ -1959,7 +1959,7 @@ int mudraw_main(int argc, char **argv) } else #endif - if (output_format == OUT_GPROOF) + if (output_format == OUT_GPROOF || output_format == OUT_SVG) { /* No output file to close */ } |