From 5cff7993c913a59b1d65d76bca3f36f26865ed33 Mon Sep 17 00:00:00 2001
From: Vincent Lafeychine <vincent.lafeychine@proton.me>
Date: Sat, 27 Apr 2024 02:03:04 +0200
Subject: [PATCH] clippy: Fix redundant_static_lifetimes
---
rr_frontend/.cargo/config.toml | 1 -
rr_frontend/radium/src/coq.rs | 2 +-
2 files changed, 1 insertion(+), 2 deletions(-)
diff --git a/rr_frontend/.cargo/config.toml b/rr_frontend/.cargo/config.toml
index 12dd4023..3d7742e6 100644
--- a/rr_frontend/.cargo/config.toml
+++ b/rr_frontend/.cargo/config.toml
@@ -81,7 +81,6 @@ rustflags = [
# clippy::style
"-Aclippy::new_without_default",
- "-Aclippy::redundant_static_lifetimes",
"-Aclippy::single_char_add_str",
"-Aclippy::single_component_path_imports",
"-Aclippy::single_match",
diff --git a/rr_frontend/radium/src/coq.rs b/rr_frontend/radium/src/coq.rs
index cc71ac31..65ef756b 100644
--- a/rr_frontend/radium/src/coq.rs
+++ b/rr_frontend/radium/src/coq.rs
@@ -11,7 +11,7 @@ use indent_write::fmt::IndentWriter;
use crate::write_list;
-pub(crate) const BASE_INDENT: &'static str = " ";
+pub(crate) const BASE_INDENT: &str = " ";
/// Represents a Coq path of the form
/// `From A.B.C Import D`
--
GitLab