From 9d4b59f7d64030994f680aaf53c62bedbb4da68a Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?V=C3=ADtor=20Santos=20Costa?= <vsc@dcc.fc.up.pt>
Date: Mon, 26 Jan 2015 03:33:47 +0000
Subject: [PATCH] handle the case where the result   of file expansion is an
 alias

---
 pl/absf.yap | 7 +++++--
 1 file changed, 5 insertions(+), 2 deletions(-)

diff --git a/pl/absf.yap b/pl/absf.yap
index 06e8aaaf4..dcb773107 100755
--- a/pl/absf.yap
+++ b/pl/absf.yap
@@ -396,8 +396,11 @@ absolute_file_name(File0,File) :-
 	is_absolute_file_name(File), !.
 '$extend_path_directory'(Name, D, File, Opts, NewFile, Call) :-
 	user:file_search_path(Name, IDirs),
-        ( atom(IDirs) ->
-	  '$split_by_sep'(0, 0, IDirs, Dir)
+	(
+	 '$extend_path_directory'(IDirs, D, File, Opts, NewFile, Call)
+	;
+         atom(IDirs) ->
+	 '$split_by_sep'(0, 0, IDirs, Dir)
 	;
 	   Dir = IDirs
 	),