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
 {