FIXED: documentation of countall/2 (#1976)

diff --git a/src/lib/iso_ext.pl b/src/lib/iso_ext.pl
index b6863487c798053e4cb77689bb23ca2221ffe28a..2f1286f0067734a71f5c2dd939725d61e2a873be 100644 (file)
--- a/src/lib/iso_ext.pl
+++ b/src/lib/iso_ext.pl
@@ -358,10 +358,10 @@ call_nth_nesting(C, ID) :-
     bb_put(ID, 0),
     bb_put(i_call_nth_counter, C).
 
-%% countall(Goal, N).
+%% countall(G_0, N).
 %
-% countall(Goal, N) counts all solutions of Goal and unifies N with
-% this number of solutions. This predicate always succeeds once.
+% countall(G_0, N) is true iff N unifies with the total number of
+% answers of call(G_0).
 
 :- meta_predicate(countall(0, ?)).