From b0fa45cd335e7db8e88925a5d309c80ae98081ae Mon Sep 17 00:00:00 2001
From: Mark Thom <markjordanthom@gmail.com>
Date: Sun, 8 Dec 2019 11:44:01 -0700
Subject: [PATCH] correct odd accidental change to clpb.pl

---
 src/prolog/lib/clpb.pl | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

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),
-- 
2.54.0