Minor refactoring for clarity
This commit is contained in:
parent
a7e07380ff
commit
6183ae22b5
@ -183,7 +183,7 @@ impl<'term> std::fmt::Debug for TermDisplay<'term>
|
|||||||
"number of function arguments differs from declaration (expected {}, got {})",
|
"number of function arguments differs from declaration (expected {}, got {})",
|
||||||
function.declaration.arity, function.arguments.len());
|
function.declaration.arity, function.arguments.len());
|
||||||
|
|
||||||
if function.arguments.len() > 0
|
if !function.arguments.is_empty()
|
||||||
{
|
{
|
||||||
write!(format, "{}(", function.declaration.name)?;
|
write!(format, "{}(", function.declaration.name)?;
|
||||||
|
|
||||||
|
Loading…
Reference in New Issue
Block a user