truly fix add_to_path
git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@559 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
This commit is contained in:
parent
0b00f3912b
commit
511eb450af
@ -1064,7 +1064,7 @@ add_to_path(New) :- add_to_path(New,last).
|
|||||||
add_to_path(New,Pos) :-
|
add_to_path(New,Pos) :-
|
||||||
'$check_path'(New,Str),
|
'$check_path'(New,Str),
|
||||||
atom_codes(Fixed,Str),
|
atom_codes(Fixed,Str),
|
||||||
'$add_to_path'(Str,Pos).
|
'$add_to_path'(Fixed,Pos).
|
||||||
|
|
||||||
'$add_to_path'(New,_) :- '$recorded'('$path',New,R), erase(R), fail.
|
'$add_to_path'(New,_) :- '$recorded'('$path',New,R), erase(R), fail.
|
||||||
'$add_to_path'(New,last) :- !, '$recordz'('$path',New,_).
|
'$add_to_path'(New,last) :- !, '$recordz'('$path',New,_).
|
||||||
|
Reference in New Issue
Block a user