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

Fix typos

This commit is contained in:
Patrick Lühne 2019-11-02 03:13:51 +01:00
parent a93af5b423
commit 306dc7d850
Signed by: patrick
GPG Key ID: 05F3611E97A70ABF
1 changed files with 2 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

4
src/format_tptp.rs
View File

@ -201,8 +201,8 @@ impl<'a> std::fmt::Debug for TermDisplay<'a>
foliage::Domain::Integer => write!(format, "N{}", declaration.name),
},
foliage::Term::Add(ref left, ref right) => write!(format, "$sum({:?}, {:?})", (&**left).display_tptp(), right.display_tptp()),
foliage::Term::Subtract(ref left, ref right) => write!(format, "$difference({:?} - {:?})", left.display_tptp(), right.display_tptp()),
foliage::Term::Multiply(ref left, ref right) => write!(format, "$product({:?} * {:?})", left.display_tptp(), right.display_tptp()),
foliage::Term::Subtract(ref left, ref right) => write!(format, "$difference({:?}, {:?})", left.display_tptp(), right.display_tptp()),
foliage::Term::Multiply(ref left, ref right) => write!(format, "$product({:?}, {:?})", left.display_tptp(), right.display_tptp()),
foliage::Term::Negative(ref argument) => write!(format, "$uminus({:?})", argument.display_tptp()),
}
}