FIXED: countall/2 for zero solutions (#1996)

Example:

    ?- countall(false, 0).
       true.

diff --git a/src/lib/iso_ext.pl b/src/lib/iso_ext.pl
index 0a5798ae739b87b19f1c8daf4b3d895ce3bff670..b6863487c798053e4cb77689bb23ca2221ffe28a 100644 (file)
--- a/src/lib/iso_ext.pl
+++ b/src/lib/iso_ext.pl
@@ -370,7 +370,7 @@ countall(Goal, N) :-
     (   integer(N) ->
         (   N < 0 ->
             domain_error(not_less_than_zero, N, countall/2)
-        ;   N > 0
+        ;   true
         )
     ;   true
     ),