on master help sign in
fix
commitc0360f6eba76ffaed97878ba2f6dec05e9ecd92b authordoofin <8177dph@gmail.com> dateWed 25 Jul 2018, 15:06 (8 years ago) parentd026c4e
1 file changed+2−2
rts/idris_stdfgn.c+2−2
rts/idris_stdfgn.c+2−2
@@ -263,7 +263,7 @@ VAL idris_getString(VM* vm, void* buffer) {
263263char* idris_currentDir() {
264264 char cwd[1024];
265265 if (getcwd(cwd, sizeof(cwd)) != NULL)
266− return cwd
266+ return cwd;
267267 else
268− return "getcwd() error"
268+ return "getcwd() error";
269269}