From a8df440fdfc24a6008af86d756d8218ac0b8abe5 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Patrick=20L=C3=BChne?= <patrick@luehne.de>
Date: Wed, 8 Apr 2020 10:52:12 +0200
Subject: [PATCH] Add type annotations

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

diff --git a/src/format/formulas.rs b/src/format/formulas.rs
index 47d25f0..cfeaf74 100644
--- a/src/format/formulas.rs
+++ b/src/format/formulas.rs
@@ -378,16 +378,16 @@ mod tests
 	{
 		($intermediate:ident, $formula:expr, $output:expr) =>
 		{
-			let $intermediate = |f| f;
+			let $intermediate = |f: Box<Formula>| f;
 			assert!($formula, $output);
 
-			let $intermediate = |f| and(vec![f]);
+			let $intermediate = |f: Box<Formula>| and(vec![f]);
 			assert!($formula, $output);
 
-			let $intermediate = |f| or(vec![f]);
+			let $intermediate = |f: Box<Formula>| or(vec![f]);
 			assert!($formula, $output);
 
-			let $intermediate = |f| if_and_only_if(vec![f]);
+			let $intermediate = |f: Box<Formula>| if_and_only_if(vec![f]);
 			assert!($formula, $output);
 		};
 	}