From f5eadb2957797b7d3652208e3d673daa528e4391 Mon Sep 17 00:00:00 2001
From: Regan-Koopmans <regan.koopmans@teampicnic.com>
Date: Fri, 18 Jun 2021 08:22:43 +0200
Subject: [PATCH] 981 Prefer must_be/2

---
 src/lib/arithmetic.pl | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

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).
-- 
2.54.0