- int emergencyMoveHorizon = get_option_value_int("Emergency Move Horizon");
- int emergencyBaseTime = get_option_value_int("Emergency Base Time");
- int emergencyMoveTime = get_option_value_int("Emergency Move Time");
- int minThinkingTime = get_option_value_int("Minimum Thinking Time");
+ int emergencyMoveHorizon = Options["Emergency Move Horizon"].value<int>();
+ int emergencyBaseTime = Options["Emergency Base Time"].value<int>();
+ int emergencyMoveTime = Options["Emergency Move Time"].value<int>();
+ int minThinkingTime = Options["Minimum Thinking Time"].value<int>();