From 8711f24ac92d88b4925a5af6350188a7e5c1c3b4 Mon Sep 17 00:00:00 2001 From: MichelJuillard <michel.juillard@mjui.fr> Date: Mon, 14 Nov 2022 18:55:33 +0100 Subject: [PATCH] add class for exceptions --- src/ExprNode.hh | 4 +++- 1 file changed, 3 insertions(+), 1 deletion(-) diff --git a/src/ExprNode.hh b/src/ExprNode.hh index e5469ad7..3d39c458 100644 --- a/src/ExprNode.hh +++ b/src/ExprNode.hh @@ -798,9 +798,11 @@ public: virtual pair<int, expr_t> matchEndogenousTimesConstant() const; //! Exception thrown when matching fails - struct MatchFailureException + class MatchFailureException { + public: const string message; + MatchFailureException(string message_arg) : message(message_arg) {} }; /* Match an expression of the form ∏ x(l)ᵏ, where x are endogenous, as used -- GitLab