@@ -505,6 +505,7 @@ VAL idris_readStr(VM* vm, FILE* h) {
505 size_t n = 0;
505 size_t n = 0;
506 ssize_t len;
506 ssize_t len;
507 len = getline(&buffer, &n, h);
507 len = getline(&buffer, &n, h);
508+ strtok(buffer, "\n");
509 if (len <= 0) {
510 if (len <= 0) {
510 return MKSTR(vm, "");
511 return MKSTR(vm, "");