Remove deprecated variants of find_symbols

It was deprecated in 2019 and had no in-tree users left.

Author: tautschnig

src/util/find_symbols.cpp

@@ -61,16 +61,6 @@ bool has_symbol(
   return has_symbol(src, symbols, true, true);
 }
 
-void find_symbols(
-  const exprt &src,
-  std::set<exprt> &dest)
-{
-  src.visit_pre([&dest](const exprt &e) {
-    if(e.id() == ID_symbol || e.id() == ID_next_symbol)
-      dest.insert(e);
-  });
-}
-
 void find_symbols(
   const exprt &src,
   std::set<symbol_exprt> &dest)

src/util/find_symbols.h

@@ -14,7 +14,6 @@ Author: Daniel Kroening, [email protected]
 #include <set>
 #include <unordered_set>
 
-#include "deprecate.h"
 #include "irep.h"
 
 class exprt;
@@ -49,12 +48,6 @@ void find_symbols(
   bool current,
   bool next);
 
-/// Find sub expressions with id ID_symbol or ID_next_symbol
-DEPRECATED(SINCE(2019, 06, 17, "Unused"))
-void find_symbols(
-  const exprt &src,
-  std::set<exprt> &dest);
-
 /// Find sub expressions with id ID_symbol
 void find_symbols(
   const exprt &src,