init

2016-01-04 15:12:44 +00:00
parent 50c8724322
commit 713e9dc9d8
3 changed files with 33 additions and 30 deletions
--- a/os/iopreds.c
+++ b/os/iopreds.c
@@ -1207,6 +1207,7 @@ static void check_bom(int sno, StreamDesc *st) {
  if (name == NULL) {
    char buf[YAP_FILENAME_MAX + 1];
    name = Yap_guessFileName(fileno(fd), sno, buf, YAP_FILENAME_MAX);
+    if (name)
    st->name = Yap_LookupAtom(name);
  }
  st->user_name = file_name;