From 99f124938274a0bcef2e5fce5374e4e3cccdbfbb Mon Sep 17 00:00:00 2001 From: Vitor Santos Costa Date: Fri, 26 Nov 2010 23:44:11 +0000 Subject: [PATCH] fix file_name_extension with '' as second arg (obs from Crhis Mungall) --- pl/consult.yap | 2 ++ 1 file changed, 2 insertions(+) diff --git a/pl/consult.yap b/pl/consult.yap index d90a14d3c..598c56f53 100755 --- a/pl/consult.yap +++ b/pl/consult.yap @@ -1036,6 +1036,8 @@ file_name_extension(A1,A2,F) :- atom_codes(A2, S2), ( S2 = [0'.|_] %' + ; + A2 = '' -> atom_concat(A1, A2, F) ;