From 9544789468ead5d7dce5123132629173a80b7848 Mon Sep 17 00:00:00 2001
From: Paul Eggert <eggert@cs.ucla.edu>
Date: Mon, 31 Jan 2022 08:42:07 -0800
Subject: [PATCH 31/43] factor: remove IF_LINT

* src/factor.c (factor_using_squfof) [USE_SQUFOF]:
Use plain assert (...), not IF_LINT (assert (...)).
This code is currently never compiled or executed,
so this is merely a symbolic cleanup.
---
 src/factor.c | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/factor.c b/src/factor.c
index 66ca3878b..66ce28b84 100644
--- a/src/factor.c
+++ b/src/factor.c
@@ -2076,7 +2076,7 @@ factor_using_squfof (uintmax_t n1, uintmax_t n0, struct factors *factors)
           div_smallq (q, rem, S + P, Q);
           P1 = S - rem; /* P1 = q*Q - P */
 
-          IF_LINT (assert (q > 0 && Q > 0));
+          assert (q > 0 && Q > 0);
 
 # if STAT_SQUFOF
           q_freq[0]++;
-- 
2.32.0