From 395c029ca92b94f4af4954421970da184b190a0d Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Patrick=20L=C3=BChne?= Date: Sat, 18 Apr 2020 02:32:12 +0200 Subject: [PATCH] Expose function/predicate name parser --- src/parse.rs | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) diff --git a/src/parse.rs b/src/parse.rs index 5632474..7d32868 100644 --- a/src/parse.rs +++ b/src/parse.rs @@ -6,6 +6,7 @@ mod terms; pub(crate) use helpers::word_boundary; pub(crate) use literals::{boolean, integer, special_integer, string}; -pub(crate) use names::{function_or_predicate_name, variable_name}; +pub use names::function_or_predicate_name; +pub(crate) use names::variable_name; pub use terms::term; pub use formulas::formula;