- char *a_best_pattern_fixed = strtok(a_best_pattern, "a");
- a_best_pattern_fixed = strtok(a_best_pattern_fixed, " ");
+ char *saveptr= NULL;
+ char *a_best_pattern_fixed = strtok_r(a_best_pattern, "a", &saveptr);
+ a_best_pattern_fixed = strtok_r(a_best_pattern_fixed, " ", &saveptr);