diff options
Diffstat (limited to 'src/theory/interrupted.h')
-rw-r--r-- | src/theory/interrupted.h | 8 |
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 */ |