From c0bfbc923cdd5f8113ceed3927d3777c9c1c9630 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Patrick=20L=C3=BChne?= Date: Mon, 18 May 2020 01:19:30 +0200 Subject: [PATCH] Do not add type declarations for built-ins --- src/problem.rs | 2 ++ 1 file changed, 2 insertions(+) diff --git a/src/problem.rs b/src/problem.rs index 5716e0b..7a21a8a 100644 --- a/src/problem.rs +++ b/src/problem.rs @@ -451,6 +451,7 @@ impl Problem } for predicate_declaration in self.predicate_declarations.borrow().iter() + .filter(|x| !(x.name.starts_with("p__") || x.name.ends_with("__"))) { writeln!(formatter, "tff(type, type, {}).", crate::output::tptp::display_predicate_declaration(predicate_declaration))?; @@ -462,6 +463,7 @@ impl Problem } for function_declaration in self.function_declarations.borrow().iter() + .filter(|x| !(x.name.starts_with("f__") || x.name.ends_with("__"))) { writeln!(formatter, "tff(type, type, {}).", crate::output::tptp::display_function_declaration(function_declaration,