From 83c7e7bd950d8cbc2f35e03de6a92ded8aa3ea51 Mon Sep 17 00:00:00 2001
From: Piotr Jastrzebski <haaawk@gmail.com>
Date: Sun, 7 Jul 2024 12:38:37 +0200
Subject: [PATCH] Remove unneeded allocation

Signed-off-by: Piotr Jastrzebski <haaawk@gmail.com>
---
 core/util.rs | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/core/util.rs b/core/util.rs
index d3684750a..7c5df802d 100644
--- a/core/util.rs
+++ b/core/util.rs
@@ -1,6 +1,6 @@
 pub fn normalize_ident(ident: &str) -> String {
     if ident.starts_with('"') && ident.ends_with('"') {
-        ident[1..ident.len() - 1].to_string().to_lowercase()
+        ident[1..ident.len() - 1].to_lowercase()
     } else {
         ident.to_lowercase()
     }