From 04998ecf302c9553058021be62146a8a55c7798d Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Kevin=20L=C3=A4ufer?= <laeufer@cornell.edu>
Date: Mon, 20 Jan 2025 13:57:09 -0500
Subject: [PATCH] remove unnecessary asssertion

---
 src/bv/io/strings.rs | 4 ----
 1 file changed, 4 deletions(-)

diff --git a/src/bv/io/strings.rs b/src/bv/io/strings.rs
index ff003e8..7ecb846 100644
--- a/src/bv/io/strings.rs
+++ b/src/bv/io/strings.rs
@@ -372,10 +372,6 @@ fn parse_base_10_to_u64(digits: &[u8]) -> Result<u64, ParseIntError> {
 }
 
 fn parse_base_10(mut digits: &[u8], out: &mut [Word]) -> Result<WidthInt, ParseIntError> {
-    debug_assert!(
-        digits.len() > MAX_U64_DEC_DIGITS,
-        "this function is only for large numbers!"
-    );
     // zero out output
     crate::bv::arithmetic::clear(out);