fix meta-predicate declaration for predsort (Paulo Moura).
This commit is contained in:
parent
a22aca2f81
commit
5adea12feb
@ -53,7 +53,7 @@ msort(L,O) :-
|
|||||||
keysort(L,O) :-
|
keysort(L,O) :-
|
||||||
'$keysort'(L,O).
|
'$keysort'(L,O).
|
||||||
|
|
||||||
:- meta_predicate prolog:predsort(:,+,-).
|
:- meta_predicate prolog:predsort(3,+,-).
|
||||||
|
|
||||||
%% predsort(:Compare, +List, -Sorted) is det.
|
%% predsort(:Compare, +List, -Sorted) is det.
|
||||||
%
|
%
|
||||||
|
Reference in New Issue
Block a user