From 903993dbec11feb9c87d748924cdea81ad8323f6 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Patrick=20L=C3=BChne?= Date: Thu, 9 Apr 2020 16:49:45 +0200 Subject: [PATCH] Minor clean-up --- src/format.rs | 2 -- src/format/formulas.rs | 2 +- 2 files changed, 1 insertion(+), 3 deletions(-) diff --git a/src/format.rs b/src/format.rs index 1a29046..a4495bd 100644 --- a/src/format.rs +++ b/src/format.rs @@ -1,4 +1,2 @@ mod formulas; mod terms; - -pub(crate) use terms::*; diff --git a/src/format/formulas.rs b/src/format/formulas.rs index 0ec0b7f..6f5085f 100644 --- a/src/format/formulas.rs +++ b/src/format/formulas.rs @@ -1,4 +1,4 @@ -use super::*; +use super::terms::*; impl std::fmt::Debug for crate::ImplicationDirection {