From: Regan-Koopmans <regan.koopmans@teampicnic.com>
Date: Fri, 18 Jun 2021 06:22:43 +0000 (+0200)
Subject: 981 Prefer must_be/2
X-Git-Tag: v0.9.0~54^2
X-Git-Url: https://git.sagredo.dev/?a=commitdiff_plain;h=f5eadb2957797b7d3652208e3d673daa528e4391;p=scryer-prolog.git

981 Prefer must_be/2
---

diff --git a/src/lib/arithmetic.pl b/src/lib/arithmetic.pl
index 3d3a6625..dc9ce077 100644
--- 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).