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 f43ba6eec..5eb1e45a4 100644 --- a/src/smt/model.h +++ b/src/smt/model.h @@ -22,7 +22,7 @@ #include "expr/node.h" -namespace CVC5 { +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 ::CVC5::SmtEngine; + friend class ::cvc5::SmtEngine; public: /** construct */ @@ -118,6 +118,6 @@ class Model { }; } // namespace smt -} // namespace CVC5 +} // namespace cvc5 #endif /* CVC4__MODEL_H */ |