to_string is in std::

tautschnig · web-flow · commit f687ac4dc777 · 2017-01-03T16:56:48.000+01:00
diff --git a/src/ansi-c/ansi_c_entry_point.cpp b/src/ansi-c/ansi_c_entry_point.cpp
@@ -51,7 +51,7 @@ exprt::operandst build_function_environment(
   for(const auto & p : parameters)
   {
     irep_idt base_name=p.get_base_name().empty()?
-      ("argument#"+to_string(i)):p.get_base_name();
+      ("argument#"+std::to_string(i)):p.get_base_name();
     irep_idt identifier=id2string(goto_functionst::entry_point())+
       "::"+id2string(base_name);
 

Original file line number	Diff line number	Diff line change
`@@ -51,7 +51,7 @@ exprt::operandst build_function_environment(`
`51`	`51`	`for(const auto & p : parameters)`
`52`	`52`	`{`
`53`	`53`	`irep_idt base_name=p.get_base_name().empty()?`
`54`		`- ("argument#"+to_string(i)):p.get_base_name();`
	`54`	`+ ("argument#"+std::to_string(i)):p.get_base_name();`
`55`	`55`	`irep_idt identifier=id2string(goto_functionst::entry_point())+`
`56`	`56`	`"::"+id2string(base_name);`
`57`	`57`