1 files changed, 14 insertions, 0 deletions
diff --git a/src/base/modal_exception.h b/src/base/modal_exception.h
index fc1b8ac9e..0392ab470 100644
--- a/src/base/modal_exception.h
+++ b/src/base/modal_exception.h
@@ -42,6 +42,20 @@ public:
   }
 };/* class ModalException */
 
+/**
+ * Special case of ModalException that allows the execution of the solver to
+ * continue.
+ *
+ * TODO(#1108): This exception should not be needed anymore in future versions
+ * of the public API.
+ */
+class CVC4_PUBLIC RecoverableModalException : public CVC4::ModalException {
+ public:
+  RecoverableModalException(const std::string& msg) : ModalException(msg) {}
+
+  RecoverableModalException(const char* msg) : ModalException(msg) {}
+}; /* class RecoverableModalException */
+
 }/* CVC4 namespace */
 
 #endif /* __CVC4__SMT__MODAL_EXCEPTION_H */