add toUnicode as a build-in

This commit is contained in:
Erik Krogh Kristensen
2021-06-22 12:07:47 +00:00
committed by GitHub
parent bc2932383b
commit 23e3062c3b

View File

@@ -42,7 +42,7 @@ predicate isBuiltinMember(string sig) {
"string string.toLowerCase()", "string string.toUpperCase()", "string string.trim()",
"int date.daysTo(date)", "int date.getDay()", "int date.getHours()", "int date.getMinutes()",
"int date.getMonth()", "int date.getSeconds()", "int date.getYear()",
"string date.toString()", "string date.toISO()"
"string date.toString()", "string date.toISO()", "string int.toUnicode()"
]
}