Merge pull request #4659 from jinbijin/master
Initialise error while opening a directory.
commitf59d33d70016f5df74914219639f311418004f51
authorNiklas Larsson <metaniklas@gmail.com>
dateWed 27 Feb 2019, 01:09 (8 years ago)
parent0365becf9f05c9
rts/idris_stdfgn.c+1
@@ -108,6 +108,7 @@ void* idris_dirOpen(char* dname) {
108108 } else {
109109 DirInfo* di = malloc(sizeof(DirInfo));
110110 di->dirptr = d;
111+ di->error = 0;
111112
112113 return (void*)di;
113114 }