From: Mark Thom <markjordanthom@gmail.com>
Date: Sun, 8 Dec 2019 18:44:01 +0000 (-0700)
Subject: correct odd accidental change to clpb.pl
X-Git-Tag: v0.8.118~32
X-Git-Url: https://git.sagredo.dev/?a=commitdiff_plain;h=b0fa45cd335e7db8e88925a5d309c80ae98081ae;p=scryer-prolog.git

correct odd accidental change to clpb.pl
---

diff --git a/src/prolog/lib/clpb.pl b/src/prolog/lib/clpb.pl
index 2d9ba8f8..3fa9c719 100644
--- a/src/prolog/lib/clpb.pl
+++ b/src/prolog/lib/clpb.pl
@@ -1184,7 +1184,7 @@ indomain(1).
 % Examples:
 %
 % ==
-% ?- 
+% ?- sat(A =< B), Vs = [A,B], sat_count(+[1|Vs], Count). 
 % Vs = [A, B],
 % Count = 3,
 % sat(A=:=A*B).
@@ -1195,7 +1195,7 @@ indomain(1).
 % Vs = [...],
 % CountOr = 1329227995784915872903807060280344575,
 % CountAnd = 1.
-% ==sat(A =< B), Vs = [A,B], sat_count(+[1|Vs], Count).
+% ==
 
 sat_count(Sat0, N) :-
         catch((parse_sat(Sat0, Sat),