diff options
Diffstat (limited to 'otherlibs/unix/readdir.c')
-rw-r--r-- | otherlibs/unix/readdir.c | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/otherlibs/unix/readdir.c b/otherlibs/unix/readdir.c index 41093f95a..c544b6e51 100644 --- a/otherlibs/unix/readdir.c +++ b/otherlibs/unix/readdir.c @@ -17,6 +17,6 @@ value unix_readdir(d) /* ML */ directory_entry * e; e = readdir((DIR *) d); - if (e == (directory_entry *) NULL) mlraise(Atom(END_OF_FILE_EXN)); + if (e == (directory_entry *) NULL) raise_end_of_file(); return copy_string(e->d_name); } |