]> Repositorios git - scryer-prolog.git/commitdiff
adapt comment to Scryer Prolog
authorMarkus Triska <[email protected]>
Fri, 5 Mar 2021 17:16:38 +0000 (18:16 +0100)
committerMarkus Triska <[email protected]>
Fri, 5 Mar 2021 17:16:38 +0000 (18:16 +0100)
src/lib/clpb.pl

index 75a3828277bc45b483792dcc8e943b7f8025327b..add580ff48c651da137211761c0cbcce5ccdc210 100644 (file)
@@ -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([]) --> [].