Version of value_sett::output without ns argument

This argument is unused.

Author: romainbrenguier

src/pointer-analysis/value_set.cpp

@@ -139,6 +139,13 @@ void value_sett::output(
   const namespacet &,
   std::ostream &out,
   const std::string &indent) const
+{
+  output(out, indent);
+}
+
+void value_sett::output(
+  std::ostream &out,
+  const std::string &indent) const
 {
   values.iterate([&](const irep_idt &, const entryt &e) {
     irep_idt identifier, display_name;

src/pointer-analysis/value_set.h

@@ -313,9 +313,13 @@ class value_sett
     bool add_to_sets);
 
   /// Pretty-print this value-set
-  /// \param ns: global namespace
   /// \param [out] out: stream to write to
   /// \param indent: string to use for indentation of the output
+  void output(
+    std::ostream &out,
+    const std::string &indent = "") const;
+
+  DEPRECATED(SINCE(2019, 06, 11, "Use the version without ns argument"))
   void output(
     const namespacet &ns,
     std::ostream &out,