Change set_variable_name API to consume irep_idt

Author: romainbrenguier

src/solvers/prop/prop.h

@@ -87,7 +87,7 @@ class propt:public messaget, public prop_assignmentt
 
   // variables
   virtual literalt new_variable()=0;
-  virtual void set_variable_name(literalt a, const std::string &name) { }
+  virtual void set_variable_name(literalt a, const irep_idt &name) { }
   virtual size_t no_variables() const=0;
   bvt new_variables(std::size_t width);
 

src/solvers/prop/prop_conv.cpp

@@ -62,7 +62,7 @@ literalt prop_conv_solvert::get_literal(const irep_idt &identifier)
     return result.first->second;
 
   literalt literal=prop.new_variable();
-  prop.set_variable_name(literal, id2string(identifier));
+  prop.set_variable_name(literal, identifier);
 
   // insert
   result.first->second=literal;