diff options
Diffstat (limited to 'src/parser/cvc/cvc_input.h')
| -rw-r--r-- | src/parser/cvc/cvc_input.h | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/parser/cvc/cvc_input.h b/src/parser/cvc/cvc_input.h index 45a0edf95..efe0a522f 100644 --- a/src/parser/cvc/cvc_input.h +++ b/src/parser/cvc/cvc_input.h @@ -51,7 +51,7 @@ public: CvcInput(AntlrInputStream& inputStream); /** Destructor. Frees the lexer and the parser. */ - ~CvcInput(); + virtual ~CvcInput(); /** Get the language that this Input is reading. */ InputLanguage getLanguage() const throw() { |