Correct name of builtin function with no eval

romainbrenguier · romainbrenguier · commit 23f8cd475031 · 2018-03-24T19:24:27.000Z
diff --git a/src/solvers/refinement/string_builtin_function.h b/src/solvers/refinement/string_builtin_function.h
@@ -282,7 +282,7 @@ class string_builtin_function_with_no_evalt : public string_builtin_functiont
 
   std::string name() const override
   {
-    return id2string(function_application.id());
+    return id2string(function_application.function().get_identifier());
   }
   std::vector<array_string_exprt> string_arguments() const override
   {

Original file line number	Diff line number	Diff line change
`@@ -282,7 +282,7 @@ class string_builtin_function_with_no_evalt : public string_builtin_functiont`
`282`	`282`
`283`	`283`	`std::string name() const override`
`284`	`284`	`{`
`285`		`- return id2string(function_application.id());`
	`285`	`+ return id2string(function_application.function().get_identifier());`
`286`	`286`	`}`
`287`	`287`	`std::vector<array_string_exprt> string_arguments() const override`
`288`	`288`	`{`