From 6183ae22b5736777a814549fe96e3c2a0782d641 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Patrick=20L=C3=BChne?= <patrick@luehne.de>
Date: Mon, 30 Mar 2020 05:38:42 +0200
Subject: [PATCH] Minor refactoring for clarity

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

diff --git a/src/format.rs b/src/format.rs
index 02c7cce..ca88ce3 100644
--- a/src/format.rs
+++ b/src/format.rs
@@ -183,7 +183,7 @@ impl<'term> std::fmt::Debug for TermDisplay<'term>
 					"number of function arguments differs from declaration (expected {}, got {})",
 					function.declaration.arity, function.arguments.len());
 
-				if function.arguments.len() > 0
+				if !function.arguments.is_empty()
 				{
 					write!(format, "{}(", function.declaration.name)?;