Some fixes to portfolio

[cvc5.git] / src / expr / expr_template.h

diff --git a/src/expr/expr_template.h b/src/expr/expr_template.h
index 96c7cfadfb67a5f72f6de96700d9621bc034a9b0..4255e34546844b7e1c118b8d4245f59434b3f4d3 100644 (file)
--- a/src/expr/expr_template.h
+++ b/src/expr/expr_template.h
@@ -132,6 +132,19 @@ public:
   friend class ExprManager;
 };/* class TypeCheckingException */
 
+/**
+ * Exception thrown in case of failure to export
+ */
+class CVC4_PUBLIC ExportUnsupportedException : public Exception {
+public:
+  ExportUnsupportedException() throw():
+    Exception("export unsupported") {
+  }
+  ExportUnsupportedException(const char* msg) throw():
+    Exception(msg) {
+  }
+};/* class DatatypeExportUnsupportedException */
+
 std::ostream& operator<<(std::ostream& out,
                          const TypeCheckingException& e) CVC4_PUBLIC;