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

Fix typos

Browse Source
This commit is contained in:
Patrick Lühne 2019-11-02 07:54:29 +01:00
parent 52d8c84bc0
commit 0d63e48af9
Signed by: patrick
GPG Key ID: 05F3611E97A70ABF
1 changed files with 3 additions and 3 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

6
src/format_tptp.rs
View File

@ -317,8 +317,8 @@ impl<'a> std::fmt::Debug for TermDisplay<'a>
{
match self.0
{
foliage::Term::Infimum => write!(format, "#inf"),
foliage::Term::Supremum => write!(format, "#sup"),
foliage::Term::Infimum => write!(format, "c__infimum__"),
foliage::Term::Supremum => write!(format, "c__supremum__"),
foliage::Term::Integer(value) => write!(format, "{}", value),
foliage::Term::Symbolic(ref value) => write!(format, "{}", value),
foliage::Term::String(ref value) => write!(format, "\"{}\"", value),
@ -480,7 +480,7 @@ impl<'a> std::fmt::Debug for FormulaDisplay<'a>
foliage::Formula::Greater(ref left, ref right) => display_comparison(Notation::Prefix, "$greater", Some("p__greater__"), left, right),
foliage::Formula::GreaterOrEqual(ref left, ref right) => display_comparison(Notation::Prefix, "$greatereq", Some("p__greater_equal__"), left, right),
foliage::Formula::Equal(ref left, ref right) => display_comparison(Notation::Infix, "=", None, left, right),
foliage::Formula::NotEqual(ref left, ref right) => display_comparison(Notation::Infix, "~=", None, left, right),
foliage::Formula::NotEqual(ref left, ref right) => display_comparison(Notation::Infix, "!=", None, left, right),
foliage::Formula::Boolean(value) =>
match value
{