From 3414e8075cf0b482041a2da87e23df208bd5bad9 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Patrick=20L=C3=BChne?= Date: Fri, 27 Mar 2020 03:18:31 +0100 Subject: [PATCH] Address warnings --- src/parse.rs | 2 +- src/parse/terms.rs | 6 +++--- 2 files changed, 4 insertions(+), 4 deletions(-) diff --git a/src/parse.rs b/src/parse.rs index d9d700e..269a5d3 100644 --- a/src/parse.rs +++ b/src/parse.rs @@ -6,7 +6,7 @@ mod terms; pub(crate) use helpers::word_boundary; pub(crate) use literals::{boolean, integer, special_integer, string}; -pub use names::{function_or_predicate_name, variable_name}; +pub(crate) use names::{function_or_predicate_name, variable_name}; pub use terms::term; pub use formulas::formula; diff --git a/src/parse/terms.rs b/src/parse/terms.rs index 46bbb86..8dd1fed 100644 --- a/src/parse/terms.rs +++ b/src/parse/terms.rs @@ -2,15 +2,15 @@ use nom:: { IResult, branch::alt, - bytes::complete::{escaped_transform, tag}, - character::complete::{multispace0, none_of}, + bytes::complete::tag, + character::complete::multispace0, combinator::{map, opt}, multi::{many1, separated_list}, sequence::{delimited, pair, preceded, terminated}, }; use super::{Declarations, boolean, function_or_predicate_name, integer, special_integer, string, - variable_name, word_boundary}; + variable_name}; fn negative<'i>(i: &'i str, d: &Declarations) -> IResult<&'i str, crate::Term> {