diff options
Diffstat (limited to 'src/api/cvc4cpp.h')
| -rw-r--r-- | src/api/cvc4cpp.h | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/src/api/cvc4cpp.h b/src/api/cvc4cpp.h index 2d2b8a2e5..a176744ef 100644 --- a/src/api/cvc4cpp.h +++ b/src/api/cvc4cpp.h @@ -3687,12 +3687,12 @@ class CVC4_EXPORT Solver /** The node manager of this solver. */ std::unique_ptr<NodeManager> d_nodeMgr; + /** The statistics collected on the Api level. */ + std::unique_ptr<Statistics> d_stats; /** The SMT engine of this solver. */ std::unique_ptr<SmtEngine> d_smtEngine; /** The random number generator of this solver. */ std::unique_ptr<Random> d_rng; - /** The statistics collected on the Api level. */ - std::unique_ptr<Statistics> d_stats; }; } // namespace api |