diff options
Diffstat (limited to 'src/smt/model.h')
-rw-r--r-- | src/smt/model.h | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/src/smt/model.h b/src/smt/model.h index 063116de8..f43ba6eec 100644 --- a/src/smt/model.h +++ b/src/smt/model.h @@ -22,7 +22,7 @@ #include "expr/node.h" -namespace CVC4 { +namespace CVC5 { class SmtEngine; @@ -46,7 +46,7 @@ std::ostream& operator<<(std::ostream&, const Model&); */ class Model { friend std::ostream& operator<<(std::ostream&, const Model&); - friend class ::CVC4::SmtEngine; + friend class ::CVC5::SmtEngine; public: /** construct */ @@ -118,6 +118,6 @@ class Model { }; } // namespace smt -}/* CVC4 namespace */ +} // namespace CVC5 #endif /* CVC4__MODEL_H */ |