@@ -263,7 +263,7 @@ VAL idris_getString(VM* vm, void* buffer) {
263263VAL idris_currentDir() {
264264 char cwd[1024];
265265 if (getcwd(cwd, sizeof(cwd)) != NULL)
266− return MKSTRlen(get_vm(),cwd,1024);
266+ return MKSTR(get_vm(),cwd);
267267 else
268− return MKSTR(get_vm(),"getcwd() error");
268+ return MKSTR(get_vm(),"");
269269}