From 85f4bdbe0b66742741f73bdb3dea10604f5f26bf Mon Sep 17 00:00:00 2001
From: Markus Triska <triska@metalevel.at>
Date: Sun, 3 Sep 2023 22:01:38 +0200
Subject: [PATCH] update answer

---
 src/lib/clpb.pl | 3 +--
 1 file changed, 1 insertion(+), 2 deletions(-)

diff --git a/src/lib/clpb.pl b/src/lib/clpb.pl
index 15c7837b..9d90ecd7 100644
--- a/src/lib/clpb.pl
+++ b/src/lib/clpb.pl
@@ -1513,8 +1513,7 @@ random_bindings(VNum, Node) -->
 %
 % ```
 % ?- sat(A#B), weighted_maximum([1,2,1], [A,B,C], Maximum).
-%    A = 0, B = 1, C = 1, Maximum = 3
-% ;  false.
+%    A = 0, B = 1, C = 1, Maximum = 3.
 % ```
 
 weighted_maximum(Ws, Vars, Max) :-
-- 
2.54.0