diff options
Diffstat (limited to 'src/parser/smt2/smt2.h')
-rw-r--r-- | src/parser/smt2/smt2.h | 9 |
1 files changed, 8 insertions, 1 deletions
diff --git a/src/parser/smt2/smt2.h b/src/parser/smt2/smt2.h index c9b224d39..64a957402 100644 --- a/src/parser/smt2/smt2.h +++ b/src/parser/smt2/smt2.h @@ -34,6 +34,10 @@ namespace CVC4 { class SExpr; +namespace api { +class Solver; +} + namespace parser { class Smt2 : public Parser { @@ -69,7 +73,10 @@ private: std::map< Expr, bool > d_sygusVarPrimed; protected: - Smt2(ExprManager* exprManager, Input* input, bool strictMode = false, bool parseOnly = false); + Smt2(api::Solver* solver, + Input* input, + bool strictMode = false, + bool parseOnly = false); public: /** |