Hide get_l1_name from interface

This is only used in one function.

Author: romainbrenguier

src/goto-symex/goto_symex_state.cpp

@@ -25,6 +25,8 @@ Author: Daniel Kroening, [email protected]
 
 #include <analyses/dirty.h>
 
+static void get_l1_name(exprt &expr);
+
 goto_symex_statet::goto_symex_statet()
   : depth(0),
     symex_target(nullptr),
@@ -750,7 +752,7 @@ void goto_symex_statet::get_original_name(typet &type) const
   }
 }
 
-void goto_symex_statet::get_l1_name(exprt &expr) const
+static void get_l1_name(exprt &expr)
 {
   // do not reset the type !
 

src/goto-symex/goto_symex_state.h

@@ -97,9 +97,6 @@ class goto_symex_statet final
   void set_l1_indices(ssa_exprt &expr, const namespacet &ns);
   void set_l2_indices(ssa_exprt &expr, const namespacet &ns);
 
-  // only required for value_set.assign
-  void get_l1_name(exprt &expr) const;
-
   // this maps L1 names to (L2) types
   typedef std::unordered_map<irep_idt, typet> l1_typest;
   l1_typest l1_types;