diff --git a/rust_wrapper/src/solver/implementations/default/solver.rs b/rust_wrapper/src/solver/implementations/default/solver.rs index 1c01828..01632bf 100644 --- a/rust_wrapper/src/solver/implementations/default/solver.rs +++ b/rust_wrapper/src/solver/implementations/default/solver.rs @@ -313,8 +313,7 @@ where let solver = if settings.is_null() { lib::DefaultSolver::::load_from_file(&mut file, None) } else { - let settings_struct = &*(settings); - let settings = utils::get_solver_settings_from_c::(settings_struct); + let settings = (*settings).clone().into(); lib::DefaultSolver::::load_from_file(&mut file, Some(settings)) }; Box::into_raw(Box::new(solver)) as *mut c_void