Don't override protected functions with public ones

Author: Owen Jones

src/pointer-analysis/local_value_set.h

@@ -37,31 +37,32 @@ class local_value_sett:public value_sett
     const namespacet &ns,
     bool is_simplified) const override;
 
-  void get_value_set_rec(
-    const exprt &expr,
-    object_mapt &dest,
-    const std::string &suffix,
-    const typet &original_type,
-    const namespacet &ns) const override;
-
   void assign(
     const exprt &lhs,
     const exprt &rhs,
     const namespacet &ns,
     bool is_simplified,
     bool add_to_sets) override;
 
+  void apply_code(
+    const codet &,
+    const namespacet &) override;
+
+protected:
+  void get_value_set_rec(
+    const exprt &expr,
+    object_mapt &dest,
+    const std::string &suffix,
+    const typet &original_type,
+    const namespacet &ns) const override;
+
   void assign_rec(
     const exprt &lhs,
     const object_mapt &values_rhs,
     const std::string &suffix,
     const namespacet &ns,
     bool add_to_sets) override;
 
-  void apply_code(
-    const codet &,
-    const namespacet &) override;
-
   void apply_side_effects(
     const exprt &rhs,
     const namespacet &ns);