diff options
author | Aina Niemetz <aina.niemetz@gmail.com> | 2018-08-01 11:36:30 -0700 |
---|---|---|
committer | GitHub <noreply@github.com> | 2018-08-01 11:36:30 -0700 |
commit | c85d906d4fc8da9e31d96804ccbf6d52ec22cdd5 (patch) | |
tree | 9b403c088bbad792017c8cb4dde6766d8cd19dc6 /src/api/cvc4cpp.h | |
parent | 0aa6e039827750757941751e0829575a55601ace (diff) |
New C++ API: Fixed ownership of options object. (#2243)
Diffstat (limited to 'src/api/cvc4cpp.h')
-rw-r--r-- | src/api/cvc4cpp.h | 2 |
1 files changed, 0 insertions, 2 deletions
diff --git a/src/api/cvc4cpp.h b/src/api/cvc4cpp.h index b76fbb08f..c3c429009 100644 --- a/src/api/cvc4cpp.h +++ b/src/api/cvc4cpp.h @@ -2355,8 +2355,6 @@ class CVC4_PUBLIC Solver /* Helper to convert a vector of sorts to internal types. */ std::vector<Expr> termVectorToExprs(const std::vector<Term>& vector) const; - /* The options of this solver. */ - std::unique_ptr<Options> d_opts; /* The expression manager of this solver. */ std::unique_ptr<ExprManager> d_exprMgr; /* The SMT engine of this solver. */ |