From 14abd731109501857569b69d61eb59b565167b0c Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Patrick=20L=C3=BChne?= <patrick@luehne.de>
Date: Mon, 30 Mar 2020 05:17:24 +0200
Subject: [PATCH] Remove unneeded lifetime specifiers

---
 src/format.rs | 6 ++----
 1 file changed, 2 insertions(+), 4 deletions(-)

diff --git a/src/format.rs b/src/format.rs
index 49a7a6f..a12a54d 100644
--- a/src/format.rs
+++ b/src/format.rs
@@ -121,8 +121,7 @@ struct TermDisplay<'term>
 	term: &'term crate::Term,
 }
 
-fn display_term<'term>(term: &'term crate::Term, parent_precedence: Option<i32>)
-	-> TermDisplay<'term>
+fn display_term(term: &crate::Term, parent_precedence: Option<i32>) -> TermDisplay
 {
 	TermDisplay
 	{
@@ -238,8 +237,7 @@ struct FormulaDisplay<'formula>
 	formula: &'formula crate::Formula,
 }
 
-fn display_formula<'formula>(formula: &'formula crate::Formula, parent_precedence: Option<i32>)
-	-> FormulaDisplay<'formula>
+fn display_formula(formula: &crate::Formula, parent_precedence: Option<i32>) -> FormulaDisplay
 {
 	FormulaDisplay
 	{