From f1d1cb80e47a76de3a7166282f7f000abc8fa3c4 Mon Sep 17 00:00:00 2001
From: nicoo <nicoo@debian.org>
Date: Wed, 1 Jul 2020 00:17:38 +0200
Subject: [PATCH] factor::Factors: Generalise invariant check (from prime() to
 add())

---
 src/uu/factor/src/factor.rs | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/uu/factor/src/factor.rs b/src/uu/factor/src/factor.rs
index f7903075a..bcf570972 100644
--- a/src/uu/factor/src/factor.rs
+++ b/src/uu/factor/src/factor.rs
@@ -23,13 +23,13 @@ impl Factors {
     }
 
     pub fn prime(p: u64) -> Factors {
-        debug_assert!(miller_rabin::is_prime(p));
         let mut f = Factors::one();
         f.push(p);
         f
     }
 
     pub fn add(&mut self, prime: u64, exp: u8) {
+        debug_assert!(miller_rabin::is_prime(prime));
         debug_assert!(exp > 0);
         let n = *self.f.get(&prime).unwrap_or(&0);
         self.f.insert(prime, exp + n);