diff options
Diffstat (limited to 'src/context/cdlist_forward.h')
-rw-r--r-- | src/context/cdlist_forward.h | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/src/context/cdlist_forward.h b/src/context/cdlist_forward.h index 576463399..bd3a911af 100644 --- a/src/context/cdlist_forward.h +++ b/src/context/cdlist_forward.h @@ -36,7 +36,7 @@ /// \cond internals -namespace CVC4 { +namespace CVC5 { namespace context { template <class T> @@ -50,7 +50,7 @@ class CDList; /// \endcond -}/* CVC4::context namespace */ -}/* CVC4 namespace */ +} // namespace context +} // namespace CVC5 #endif /* CVC4__CONTEXT__CDLIST_FORWARD_H */ |