From 64f45cd11b4bbe4e64a12cb310d7ac1cbd52a0ca Mon Sep 17 00:00:00 2001
From: Tpt <thomaspt@hotmail.fr>
Date: Mon, 9 Oct 2023 12:21:04 +0200
Subject: [PATCH] Makes recent Clippy happy

---
 lib/oxrdf/src/interning.rs | 1 +
 1 file changed, 1 insertion(+)

diff --git a/lib/oxrdf/src/interning.rs b/lib/oxrdf/src/interning.rs
index bc00c4a8..e647c26b 100644
--- a/lib/oxrdf/src/interning.rs
+++ b/lib/oxrdf/src/interning.rs
@@ -14,6 +14,7 @@ pub struct Interner {
 }
 
 impl Interner {
+    #[allow(clippy::never_loop)]
     fn get_or_intern(&mut self, value: &str) -> Key {
         let mut hash = self.hash(value);
         loop {