diff --git a/src/lib.rs b/src/lib.rs
index 46076d8e..b32e339d 100644
--- a/src/lib.rs
+++ b/src/lib.rs
@@ -12,6 +12,8 @@
 // such as "{foo.var}" – hence this lint forces us to have inconsistent
 // formatting args. I prefer a lint that forbid "{var}".
 #![allow(clippy::uninlined_format_args)]
+// if we want a range, we will make a range.
+#![allow(clippy::manual_range_patterns)]
 
 //!<div align="center">
 //!  <!-- Version -->