From cf8626005af39b25ce317ee19b734c1df2185a43 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Oliver=20B=C3=B8ving?= <oliver@bvng.dk>
Date: Fri, 29 Dec 2023 12:02:13 +0100
Subject: [PATCH] chore: Skip formatting generated files

---
 lowlevel/src/lib.rs | 1 +
 smtlib/src/lib.rs   | 1 +
 2 files changed, 2 insertions(+)

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;