patrick/anthem-rs
1
0
Fork 0
Code Issues Pull Requests Releases Wiki Activity

Minor refactoring

Browse Source
This commit is contained in:
Patrick Lühne 2020-05-11 03:23:25 +02:00
parent 6bf01db51a
commit 7a6fab59ef
Signed by: patrick
GPG Key ID: 05F3611E97A70ABF
1 changed files with 1 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
src/output/tptp.rs
View File

@ -470,10 +470,10 @@ where
0 => write!(formatter, "$true")?, 0 => write!(formatter, "$true")?,
_ => _ =>
{ {
let mut separator = "";
let parentheses_required = arguments.len() > 2; let parentheses_required = arguments.len() > 2;
let mut argument_iterator = arguments.iter().peekable(); let mut argument_iterator = arguments.iter().peekable();
let mut separator = "";
while let Some(argument) = argument_iterator.next() while let Some(argument) = argument_iterator.next()
{ {