@@ -87,7 +87,7 @@ VAL idris_getBufferString(void* buffer, int loc, int len) {
8787 SETTY(cl, CT_STRING);
8888 cl->info.str.str = (char*)cl + sizeof(Closure);
8989
90− if (loc >= 0 && loc+len < b->size) {
90+ if (loc >= 0 && loc+len <= b->size) {
9191 memcpy(cl->info.str.str, (b->data)+loc, len);
9292 cl->info.str.str[len]='\0';
9393 cl->info.str.len = len;