981 Prefer must_be/2

2021-06-18 08:22:43 +02:00
parent 72a7765b58
commit f5eadb2957
1 changed files with 1 additions and 1 deletions
--- a/src/lib/arithmetic.pl
+++ b/src/lib/arithmetic.pl
@@ -123,5 +123,5 @@ rational_numerator_denominator(R, N, D) :-
    number_chars(D, Ds).

 popcount(X, N) :-
-    integer(X),
+    must_be(integer, X),
    '$popcount'(X, N).