fix file_name_extension with '' as second arg (obs from Crhis Mungall)
This commit is contained in:
parent
471cc93f6c
commit
99f1249382
@ -1036,6 +1036,8 @@ file_name_extension(A1,A2,F) :-
|
||||
atom_codes(A2, S2),
|
||||
(
|
||||
S2 = [0'.|_] %'
|
||||
;
|
||||
A2 = ''
|
||||
->
|
||||
atom_concat(A1, A2, F)
|
||||
;
|
||||
|
Reference in New Issue
Block a user