Change set_variable_name API to consume irep_idt

smowton · Apr 23, 2018 · 4147243 · 4147243
1 parent 2d8be06
commit 4147243
Show file tree

Hide file tree

Showing 2 changed files with 2 additions and 2 deletions.
diff --git a/src/solvers/prop/prop.h b/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);
 

diff --git a/src/solvers/prop/prop_conv.cpp b/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;