Fix typo in TPTP output

2020-02-05 02:14:29 +01:00
parent caab0a618e
commit 9a519abb0d
1 changed files with 1 additions and 1 deletions
--- a/src/output/tptp.rs
+++ b/src/output/tptp.rs
@@ -271,7 +271,7 @@ where
 				write!(format, ")")?;
 			}

-			write!(format, ")")
+			Ok(())
 		};

 		match &self.formula