981 Prefer must_be/2

diff --git a/src/lib/arithmetic.pl b/src/lib/arithmetic.pl
index 3d3a6625577d971e1e5b054a6aec15997e5f47e7..dc9ce0779262d4fc2c433cfd376d3e9ad9323e34 100644 (file)
--- 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).