From a03ccae2ae0f6f8aae5ba583be1e60e3c73d728d Mon Sep 17 00:00:00 2001 From: Dwedit Date: Sat, 12 May 2018 22:19:42 -0500 Subject: [PATCH] fix error --- managers/core_option_manager.c | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/managers/core_option_manager.c b/managers/core_option_manager.c index e8d0bac019..a60554bfa6 100644 --- a/managers/core_option_manager.c +++ b/managers/core_option_manager.c @@ -135,7 +135,7 @@ void core_option_manager_get(core_option_manager_t *opt, void *data) #ifdef HAVE_RUNAHEAD if (opt->updated) { - secondary_core_set_variable_update(true); + secondary_core_set_variable_update(); } #endif