From 09a5f3857d79dff68e4769c3c3c408f47fbbb035 Mon Sep 17 00:00:00 2001 From: MichelJuillard <michel.juillard@mjui.fr> Date: Fri, 31 Mar 2023 22:09:12 +0200 Subject: [PATCH] make some fields public to fix --- src/SymbolTable.hh | 7 ++++--- 1 file changed, 4 insertions(+), 3 deletions(-) diff --git a/src/SymbolTable.hh b/src/SymbolTable.hh index 4cdc103d..42a54a07 100644 --- a/src/SymbolTable.hh +++ b/src/SymbolTable.hh @@ -198,11 +198,12 @@ public: //! Thrown when trying to declare a symbol twice class AlreadyDeclaredException : public std::exception { - public: - //! Was the previous declaration done with the same symbol type ? - const bool same_type; + public: //! Symbol name const string name; + //! Was the previous declaration done with the same symbol type ? + const bool same_type; + AlreadyDeclaredException(string name_arg, bool same_type_arg) : name(name_arg), same_type(same_type_arg) { -- GitLab