[ std_lib_changed ] Removed unnecessary pull.