chore: Skip formatting generated files

oeb25 · Dec 29, 2023 · cf86260 · cf86260
1 parent 0ae52df
commit cf86260
Show file tree

Hide file tree

Showing 2 changed files with 2 additions and 0 deletions.
diff --git 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
@@ -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;