From d9fe5133d3a9aa9556c9f19e24d5d7cecd11deee Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?V=C3=ADtor=20Santos=20Costa?= <vsc@dcc.fc.up.pt>
Date: Fri, 26 Feb 2016 17:30:50 +0000
Subject: [PATCH] what happens when a filename is a base path?

---
 os/files.c | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/os/files.c b/os/files.c
index df980bd2e..c78512642 100644
--- a/os/files.c
+++ b/os/files.c
@@ -511,6 +511,8 @@ file_directory_name ( USES_REGS1 )
     return false;    
   }
   at = AtomOfTerm(t);
+  if (at == AtomEmptyAtom)
+     at = AtomDot;
   if (IsWideAtom(at)) {
       wchar_t s[YAP_FILENAME_MAX+1];
       wchar_t *c = RepAtom(at)->WStrOfAE;