char buffer[1024];
char stype [1024];
- platform_snprintf(buffer, sizeof(buffer), "__builtin_%s", name);
- platform_snprintf(stype, sizeof(stype), "<%s>", type_name[vtype]);
+ util_snprintf(buffer, sizeof(buffer), "__builtin_%s", name);
+ util_snprintf(stype, sizeof(stype), "<%s>", type_name[vtype]);
*value = ast_value_new(intrin_ctx(intrin), buffer, TYPE_FUNCTION);
(*value)->intrinsic = true;