diff --git a/lowlevel/src/lib.rs b/lowlevel/src/lib.rs
index 89290bb..46faff4 100644
--- a/lowlevel/src/lib.rs
+++ b/lowlevel/src/lib.rs
@@ -13,6 +13,7 @@ use parse::ParseError;
 
 use crate::ast::{Command, GeneralResponse};
 
+#[rustfmt::skip]
 pub mod ast;
 pub mod backend;
 pub mod lexicon;
diff --git a/smtlib/src/lib.rs b/smtlib/src/lib.rs
index 37a852a..8b72884 100644
--- a/smtlib/src/lib.rs
+++ b/smtlib/src/lib.rs
@@ -15,6 +15,7 @@ pub use logics::Logic;
 pub use smtlib_lowlevel::backend;
 
 mod async_solver;
+#[rustfmt::skip]
 mod logics;
 mod solver;
 pub mod terms;