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

Rename function

Browse Source
This commit is contained in:
Patrick Lühne 2020-05-11 04:00:06 +02:00
parent ab7c6d1828
commit 2ed1e6d89d
Signed by: patrick
GPG Key ID: 05F3611E97A70ABF
1 changed files with 2 additions and 3 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

5
src/input/specification.rs
View File

@ -117,8 +117,7 @@ where
Ok((open_formula, remaining_input)) Ok((open_formula, remaining_input))
} }
// TODO: rename fn formula<'i, D>(input: &'i str, declarations: &D)
fn variable_free_formula<'i, D>(input: &'i str, declarations: &D)
-> Result<(foliage::Formula, &'i str), crate::Error> -> Result<(foliage::Formula, &'i str), crate::Error>
where where
D: foliage::FindOrCreateFunctionDeclaration D: foliage::FindOrCreateFunctionDeclaration
@ -151,7 +150,7 @@ fn formula_statement_body<'i>(input: &'i str, problem: &crate::Problem)
let input = remaining_input; let input = remaining_input;
variable_free_formula(input, problem) formula(input, problem)
} }
fn input_statement_body<'i>(mut input: &'i str, problem: &crate::Problem) fn input_statement_body<'i>(mut input: &'i str, problem: &crate::Problem)