fix absolute_file_name/2
git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@250 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
This commit is contained in:
parent
441ad190ff
commit
e2b3d04a42
@ -871,7 +871,7 @@ at_end_of_stream(S) :-
|
|||||||
|
|
||||||
consult_depth(LV) :- '$show_consult_level'(LV).
|
consult_depth(LV) :- '$show_consult_level'(LV).
|
||||||
|
|
||||||
absolute_file_name(V,Out) :-
|
absolute_file_name(V,Out) :- var(V), !,
|
||||||
throw(error(instantiation_error, absolute_file_name(V, Out))).
|
throw(error(instantiation_error, absolute_file_name(V, Out))).
|
||||||
absolute_file_name(user,user) :- !.
|
absolute_file_name(user,user) :- !.
|
||||||
absolute_file_name(RelFile,AbsFile) :-
|
absolute_file_name(RelFile,AbsFile) :-
|
||||||
|
Reference in New Issue
Block a user