From 04a3cfc3bb860dcdc867ec7c502be0d165598156 Mon Sep 17 00:00:00 2001
From: Tobias Stolzmann <tobias.stolzmann@gmail.com>
Date: Fri, 23 Feb 2024 11:03:31 +0100
Subject: [PATCH] Fix a clippy complaint

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

diff --git a/src/parsing/mod.rs b/src/parsing/mod.rs
index 8b4faa02..11c17bc0 100644
--- a/src/parsing/mod.rs
+++ b/src/parsing/mod.rs
@@ -1,4 +1,4 @@
-use std::{any::type_name, convert::AsRef};
+use std::any::type_name;
 
 pub mod asp;
 pub mod fol;