From 199afd676887c89cc0cbe3ce4e3fa881a02df42e Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Patrick=20L=C3=BChne?= Date: Tue, 5 Nov 2019 13:58:21 -0600 Subject: [PATCH] Fix variable names in TPTP --- src/format_tptp.rs | 8 ++++---- 1 file changed, 4 insertions(+), 4 deletions(-) diff --git a/src/format_tptp.rs b/src/format_tptp.rs index 93ff55b..a53bd59 100644 --- a/src/format_tptp.rs +++ b/src/format_tptp.rs @@ -294,8 +294,8 @@ impl<'a> std::fmt::Debug for VariableDeclarationDisplay<'a> { match &self.0.domain { - foliage::Domain::Program => write!(format, "X{}: object", self.0.name), - foliage::Domain::Integer => write!(format, "N{}: $int", self.0.name), + foliage::Domain::Program => write!(format, "{}: object", self.0.name), + foliage::Domain::Integer => write!(format, "{}: $int", self.0.name), } } } @@ -347,8 +347,8 @@ impl<'a> std::fmt::Debug for TermDisplay<'a> foliage::Term::String(ref value) => write!(format, "\"{}\"", value), foliage::Term::Variable(ref declaration) => match declaration.domain { - foliage::Domain::Program => write!(format, "X{}", declaration.name), - foliage::Domain::Integer => write!(format, "N{}", declaration.name), + foliage::Domain::Program => write!(format, "{}", declaration.name), + foliage::Domain::Integer => write!(format, "{}", 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()),