From 2b220157359a6cd2c2df7c9c9c85840cc019dae3 Mon Sep 17 00:00:00 2001 From: David Wells Date: Fri, 27 Apr 2018 18:31:43 -0400 Subject: [PATCH] Store values in exception classes. --- include/deal.II/base/subscriptor.h | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/include/deal.II/base/subscriptor.h b/include/deal.II/base/subscriptor.h index 29f323de96..59480752ba 100644 --- a/include/deal.II/base/subscriptor.h +++ b/include/deal.II/base/subscriptor.h @@ -136,7 +136,7 @@ public: * Exception: Object may not be deleted, since it is used. */ DeclException3(ExcInUse, - int, char *, std::string &, + int, std::string, std::string, << "Object of class " << arg2 << " is still used by " << arg1 << " other objects." << "\n\n" @@ -150,7 +150,7 @@ public: * A subscriber with the identification string given to * Subscriptor::unsubscribe() did not subscribe to the object. */ - DeclException2(ExcNoSubscriber, char *, char *, + DeclException2(ExcNoSubscriber, std::string, std::string, << "No subscriber with identifier <" << arg2 << "> subscribes to this object of class " << arg1 << ". Consequently, it cannot be unsubscribed."); -- 2.39.5