From 7857669435b18d97c98ececf1bfdeb0e77358a3d Mon Sep 17 00:00:00 2001 From: Romain Brenguier Date: Wed, 12 Sep 2018 09:01:46 +0100 Subject: [PATCH] Correct input initialization in builtin function Result was moved twice instead of initializing `input` field with the given `input`. --- src/solvers/refinement/string_builtin_function.h | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/src/solvers/refinement/string_builtin_function.h b/src/solvers/refinement/string_builtin_function.h index c53137a243f..7338d38363d 100644 --- a/src/solvers/refinement/string_builtin_function.h +++ b/src/solvers/refinement/string_builtin_function.h @@ -83,7 +83,7 @@ class string_transformation_builtin_functiont : public string_builtin_functiont array_string_exprt input) : string_builtin_functiont(std::move(return_code)), result(std::move(result)), - input(std::move(result)) + input(std::move(input)) { }