diff options
Diffstat (limited to 'Build/source/texk/dvisvgm/dvisvgm-0.8.7/src/CommandLine.h')
-rw-r--r-- | Build/source/texk/dvisvgm/dvisvgm-0.8.7/src/CommandLine.h | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/Build/source/texk/dvisvgm/dvisvgm-0.8.7/src/CommandLine.h b/Build/source/texk/dvisvgm/dvisvgm-0.8.7/src/CommandLine.h index 91874d97bf9..f97f3dd71e0 100644 --- a/Build/source/texk/dvisvgm/dvisvgm-0.8.7/src/CommandLine.h +++ b/Build/source/texk/dvisvgm/dvisvgm-0.8.7/src/CommandLine.h @@ -14,6 +14,7 @@ class CommandLine : public CmdLineParserBase public: CommandLine () {init();} CommandLine (int argc, char **argv, bool printErrors) {parse(argc, argv, printErrors);} + virtual ~CommandLine () {} void help () const; void status () const; int numOptions () const {return 22;} |