diff options
| author | Christopher L. Conway <christopherleeconway@gmail.com> | 2010-05-01 20:44:09 +0000 |
|---|---|---|
| committer | Christopher L. Conway <christopherleeconway@gmail.com> | 2010-05-01 20:44:09 +0000 |
| commit | d0affb22ebcd4cc7cc7dd6ec7a51233d8632d630 (patch) | |
| tree | 42246c776b7e060e7ec5d13de28f23883352337b /src/parser/smt/smt_input.h | |
| parent | 40a3135f24b66574518c1b206d012b10332782c7 (diff) | |
Fixing private/public header warnings in parser library
Diffstat (limited to 'src/parser/smt/smt_input.h')
| -rw-r--r-- | src/parser/smt/smt_input.h | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/src/parser/smt/smt_input.h b/src/parser/smt/smt_input.h index e9f4d2578..429f4dad5 100644 --- a/src/parser/smt/smt_input.h +++ b/src/parser/smt/smt_input.h @@ -13,12 +13,12 @@ ** [[ Add file-specific comments here ]] **/ -#include "cvc4parser_public.h" +#include "cvc4parser_private.h" #ifndef __CVC4__PARSER__SMT_INPUT_H #define __CVC4__PARSER__SMT_INPUT_H -#include "parser/input.h" +#include "parser/antlr_input.h" #include "parser/smt/generated/SmtLexer.h" #include "parser/smt/generated/SmtParser.h" @@ -32,7 +32,7 @@ class ExprManager; namespace parser { -class SmtInput : public Input { +class SmtInput : public AntlrInput { /** The ANTLR3 SMT lexer for the input. */ pSmtLexer d_pSmtLexer; |