From 2dff164d9034d62a585093d481d76c33411b3f81 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Patrick=20L=C3=BChne?= Date: Mon, 11 May 2020 03:54:32 +0200 Subject: [PATCH] Add to-do note --- src/input/specification.rs | 1 + 1 file changed, 1 insertion(+) diff --git a/src/input/specification.rs b/src/input/specification.rs index e03373a..c42ecc2 100644 --- a/src/input/specification.rs +++ b/src/input/specification.rs @@ -118,6 +118,7 @@ where Ok((scoped_formula, remaining_input)) } +// TODO: rename fn variable_free_formula<'i, D>(input: &'i str, declarations: &D) -> Result<(foliage::Formula, &'i str), crate::Error> where