diff options
Diffstat (limited to 'src/parser/smt1/smt1.h')
| -rw-r--r-- | src/parser/smt1/smt1.h | 11 |
1 files changed, 9 insertions, 2 deletions
diff --git a/src/parser/smt1/smt1.h b/src/parser/smt1/smt1.h index 42b6a4157..fe177d21e 100644 --- a/src/parser/smt1/smt1.h +++ b/src/parser/smt1/smt1.h @@ -2,7 +2,7 @@ /*! \file smt1.h ** \verbatim ** Top contributors (to current version): - ** Christopher L. Conway, Morgan Deters, Tim King + ** Christopher L. Conway, Morgan Deters, Aina Niemetz ** This file is part of the CVC4 project. ** Copyright (c) 2009-2018 by the authors listed in the file AUTHORS ** in the top-level source directory) and their institutional affiliations. @@ -26,6 +26,10 @@ namespace CVC4 { class SExpr; +namespace api { +class Solver; +} + namespace parser { class Smt1 : public Parser { @@ -93,7 +97,10 @@ private: Logic d_logic; protected: - Smt1(ExprManager* exprManager, Input* input, bool strictMode = false, bool parseOnly = false); + Smt1(api::Solver* solver, + Input* input, + bool strictMode = false, + bool parseOnly = false); public: /** |