Fix TPTP output of predicates with arguments
This commit is contained in:
parent
3c94f677fc
commit
beb4dbb693
|
@ -524,12 +524,14 @@ impl<'a> std::fmt::Debug for FormulaDisplay<'a>
|
||||||
{
|
{
|
||||||
let argument_is_arithmetic_term = is_arithmetic_term(argument);
|
let argument_is_arithmetic_term = is_arithmetic_term(argument);
|
||||||
|
|
||||||
|
write!(format, "{}", separator)?;
|
||||||
|
|
||||||
if argument_is_arithmetic_term
|
if argument_is_arithmetic_term
|
||||||
{
|
{
|
||||||
write!(format, "f__integer__(")?;
|
write!(format, "f__integer__(")?;
|
||||||
}
|
}
|
||||||
|
|
||||||
write!(format, "{}{:?}", separator, argument.display_tptp())?;
|
write!(format, "{:?}", argument.display_tptp())?;
|
||||||
|
|
||||||
if argument_is_arithmetic_term
|
if argument_is_arithmetic_term
|
||||||
{
|
{
|
||||||
|
|
Loading…
Reference in New Issue