From 2ed1e6d89d22e651df89d8cccea20788b3cf3c67 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Patrick=20L=C3=BChne?= Date: Mon, 11 May 2020 04:00:06 +0200 Subject: [PATCH] Rename function --- src/input/specification.rs | 5 ++--- 1 file changed, 2 insertions(+), 3 deletions(-) diff --git a/src/input/specification.rs b/src/input/specification.rs index f41135f..46b5b77 100644 --- a/src/input/specification.rs +++ b/src/input/specification.rs @@ -117,8 +117,7 @@ where Ok((open_formula, remaining_input)) } -// TODO: rename -fn variable_free_formula<'i, D>(input: &'i str, declarations: &D) +fn formula<'i, D>(input: &'i str, declarations: &D) -> Result<(foliage::Formula, &'i str), crate::Error> where D: foliage::FindOrCreateFunctionDeclaration @@ -151,7 +150,7 @@ fn formula_statement_body<'i>(input: &'i str, problem: &crate::Problem) let input = remaining_input; - variable_free_formula(input, problem) + formula(input, problem) } fn input_statement_body<'i>(mut input: &'i str, problem: &crate::Problem)