Version of value_sett::output without ns argument

This argument is unused.

Author: romainbrenguier

src/pointer-analysis/value_set.cpp

@@ -20,9 +20,10 @@ Author: Daniel Kroening, [email protected]
 #include <util/prefix.h>
 #include <util/simplify_expr.h>
 
-#include <util/range.h>
+#include <goto-symex/renamed.h>
 #include <util/format_expr.h>
 #include <util/format_type.h>
+#include <util/range.h>
 
 #ifdef DEBUG
 #include <iostream>
@@ -137,6 +138,11 @@ 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,11 @@ 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,