edwinb/Idris2-boot
1
1
Fork 0
mirror of https://github.com/edwinb/Idris2-boot.git synced 2024-08-16 19:30:32 +03:00
Code Issues Projects Releases Wiki Activity

Fix check in findOffset

Browse Source
This commit is contained in:
Edwin Brady 2020-05-16 18:05:45 +01:00
parent 7259743f99
commit 6ef86bc5d6
1 changed files with 1 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
dist/rts/idris_utf8.c vendored
View File

@ -105,7 +105,7 @@ char* idris_utf8_advance(char* str, int i) {
int idris_utf8_findOffset(char* str, int i) {
int offset = 0;
while(i > 0 && str != '\0') {
while(i > 0 && *str != '\0') {
int len = idris_utf8_charlen(str);
str+=len;
offset+=len;