Rename namespace CVC5 to cvc5. (#6258)

1 files changed, 4 insertions, 4 deletions

diff --git a/src/theory/interrupted.h b/src/theory/interrupted.h
index 75c8f93a5..c928f2faf 100644
--- a/src/theory/interrupted.h
+++ b/src/theory/interrupted.h
@@ -15,7 +15,7 @@
  ** An exception signaling that a Theory should immediately stop
  ** performing processing and relinquish control to its caller (e.g.,
  ** in a parallel environment).  A Theory might be interrupted if it
- ** calls into its CVC5::theory::OutputChannel, and it should only
+ ** calls into its cvc5::theory::OutputChannel, and it should only
  ** catch this exception to perform emergency repair of any invariants
  ** it must re-establish.  Further, if this exception is caught by a
  ** Theory, the Theory should rethrow the same exception (via "throw;"
@@ -31,14 +31,14 @@
 
 #include "base/exception.h"
 
-namespace CVC5 {
+namespace cvc5 {
 namespace theory {
 
-class Interrupted : public CVC5::Exception
+class Interrupted : public cvc5::Exception
 {
 }; /* class Interrupted */
 
 }  // namespace theory
-}  // namespace CVC5
+}  // namespace cvc5
 
 #endif /* CVC4__THEORY__INTERRUPTED_H */