From 53a5061f5acd017a2fa1736ed44a6427cdc43bf7 Mon Sep 17 00:00:00 2001
From: Michael Tautschnig <tautschn@amazon.com>
Date: Wed, 20 Jun 2018 20:19:01 +0100
Subject: [PATCH] Remove unused function get_writeable_symbol

The function has no user and no documentation, it's purpose is not entirely
obvious, the named parameter was not used -- a lot of code smell overall.
---
 src/util/symbol_table_base.h | 7 -------
 1 file changed, 7 deletions(-)

diff --git a/src/util/symbol_table_base.h b/src/util/symbol_table_base.h
index 6a51a34a863..82c7298e43d 100644
--- a/src/util/symbol_table_base.h
+++ b/src/util/symbol_table_base.h
@@ -178,13 +178,6 @@ class symbol_table_baset
     {
       return &**this;
     }
-
-    symbolt &get_writeable_symbol(const irep_idt &identifier)
-    {
-      if(on_get_writeable)
-        on_get_writeable((*this)->first);
-      return it->second;
-    }
   };
 
   virtual iteratort begin() = 0;