From 355b8e96553ea5729403fa37241c403cf3f199a1 Mon Sep 17 00:00:00 2001 From: Peter Schrammel Date: Sat, 9 Feb 2019 23:13:50 +0000 Subject: [PATCH] Do not copy on initialization make_util_unique creates the instance. --- src/goto-checker/single_path_symex_checker.cpp | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/src/goto-checker/single_path_symex_checker.cpp b/src/goto-checker/single_path_symex_checker.cpp index 372c7fea75e..060c903e48b 100644 --- a/src/goto-checker/single_path_symex_checker.cpp +++ b/src/goto-checker/single_path_symex_checker.cpp @@ -155,7 +155,7 @@ void single_path_symex_checkert::prepare( properties, result.updated_properties, equation); property_decider = util_make_unique( - goto_symex_property_decidert(options, ui_message_handler, equation, ns)); + options, ui_message_handler, equation, ns); log.status() << "Passing problem to " << property_decider->get_solver().decision_procedure_text()