From 03ac599c7feeea7385abfa6832f99bc1152cfe2a Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Fran=C3=A7ois=20Autin?=
 <francois.autin@etudiant.univ-rennes1.fr>
Date: Tue, 14 Mar 2023 14:49:45 +0100
Subject: [PATCH] Removed lifetime tag from Semaphore implementation

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

diff --git a/src/kernel/synch.rs b/src/kernel/synch.rs
index d4e349c..ec1ba90 100644
--- a/src/kernel/synch.rs
+++ b/src/kernel/synch.rs
@@ -18,7 +18,7 @@ pub struct Semaphore {
 
 }
 
-impl<'t> Semaphore {
+impl Semaphore {
 
     ///     Decrement the value, and wait if it becomes < 0. Checking the
     ///	value and decrementing must be done atomically, so we