From: Markus Triska <triska@metalevel.at>
Date: Fri, 5 Mar 2021 17:16:38 +0000 (+0100)
Subject: adapt comment to Scryer Prolog
X-Git-Tag: v0.9.0~134^2~2
X-Git-Url: https://git.sagredo.dev/?a=commitdiff_plain;h=87abcd6a5252ff809d6b598677006786046df754;p=scryer-prolog.git

adapt comment to Scryer Prolog
---

diff --git a/src/lib/clpb.pl b/src/lib/clpb.pl
index 75a38282..add580ff 100644
--- a/src/lib/clpb.pl
+++ b/src/lib/clpb.pl
@@ -1517,8 +1517,8 @@ pairs_([], _) --> [].
 pairs_([B|Bs], A) --> [A-B], pairs_(Bs, A).
 
 /* - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - -
-   Set the Prolog flag clpb_residuals to bdd to obtain the BDD nodes
-   as residuals. Note that they cannot be used as regular goals.
+   Assert clpb:clpb_residuals(bdd) to obtain the BDD nodes as
+   residuals. Note that they cannot be used as regular goals.
 - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - */
 
 nodes([]) --> [].