From 5332c12ab76f28cd4f85a631c48ef000a8f0a838 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?S=C3=A9bastien=20Villemot?= <sebastien@dynare.org>
Date: Fri, 1 Dec 2023 12:09:51 +0100
Subject: [PATCH] Remove unused constructor and data member

---
 src/SymbolTable.hh | 5 +----
 1 file changed, 1 insertion(+), 4 deletions(-)

diff --git a/src/SymbolTable.hh b/src/SymbolTable.hh
index f7e005fe..d6a9155d 100644
--- a/src/SymbolTable.hh
+++ b/src/SymbolTable.hh
@@ -197,14 +197,11 @@ public:
   class SearchFailedException
   {
   public:
-    int orig_symb_id, orig_lead_lag, symb_id;
+    int orig_symb_id, orig_lead_lag;
     SearchFailedException(int orig_symb_id_arg, int orig_lead_lag_arg) :
         orig_symb_id {orig_symb_id_arg}, orig_lead_lag {orig_lead_lag_arg}
     {
     }
-    explicit SearchFailedException(int symb_id_arg) : symb_id {symb_id_arg}
-    {
-    }
   };
 
 private: