From: Javier Sagredo Date: Wed, 18 Dec 2024 00:02:45 +0000 (+0100) Subject: Ensure max_assoc/3 is shown as documented X-Git-Tag: v0.10.0~90^2 X-Git-Url: https://git.sagredo.dev/?a=commitdiff_plain;h=75ac3fffaef1a5a50f5f972c81a9470d96420dd5;p=scryer-prolog.git Ensure max_assoc/3 is shown as documented --- diff --git a/src/lib/assoc.pl b/src/lib/assoc.pl index e32e7d82..14adf209 100644 --- a/src/lib/assoc.pl +++ b/src/lib/assoc.pl @@ -299,7 +299,7 @@ map_assoc_(t(Key,Val,B,L0,R0), Pred, t(Key,Ans,B,L1,R1)) :- map_assoc_(R0, Pred, R1). -%% max_assoc(+Assoc, -Key, -Value) is semidet. +%% max_assoc(+Assoc, -Key, -Value) is semidet. % % True if Key-Value is in Assoc and Key is the largest key.