From: Markus Triska Date: Thu, 18 Feb 2021 19:19:23 +0000 (+0100) Subject: enable meta_predicate/1 declarations X-Git-Tag: v0.9.0~150^2~40^2 X-Git-Url: https://git.sagredo.dev/?a=commitdiff_plain;h=b3db8913c6587fd93ac41dffd00ce82bb6ab9d56;p=scryer-prolog.git enable meta_predicate/1 declarations --- diff --git a/src/lib/assoc.pl b/src/lib/assoc.pl index 2ebf1a8e..79e174e6 100644 --- a/src/lib/assoc.pl +++ b/src/lib/assoc.pl @@ -63,11 +63,8 @@ Assocs are Key-Value associations implemented as a balanced binary tree @author R.A.O'Keefe, L.Damas, V.S.Costa and Jan Wielemaker */ -/* -:- meta_predicate - map_assoc(1, ?), - map_assoc(2, ?, ?). -*/ +:- meta_predicate map_assoc(1, ?). +:- meta_predicate map_assoc(2, ?, ?). %! empty_assoc(?Assoc) is semidet. %