From 75ac3fffaef1a5a50f5f972c81a9470d96420dd5 Mon Sep 17 00:00:00 2001 From: Javier Sagredo Date: Wed, 18 Dec 2024 01:02:45 +0100 Subject: [PATCH] Ensure max_assoc/3 is shown as documented --- src/lib/assoc.pl | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) 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. -- 2.54.0