From 45c10feb68733e13ab814b74fbca24ce80be473f Mon Sep 17 00:00:00 2001
From: Felix <felix@felixleitner.com>
Date: Tue, 28 Nov 2023 19:29:33 +0000
Subject: [PATCH] Apply formatting :/

---
 solvers/kissat/src/lib.rs | 1 -
 1 file changed, 1 deletion(-)

diff --git a/solvers/kissat/src/lib.rs b/solvers/kissat/src/lib.rs
index e745fa7fc3..e7de73bf4a 100644
--- a/solvers/kissat/src/lib.rs
+++ b/solvers/kissat/src/lib.rs
@@ -1,5 +1,4 @@
 #[cfg(test)]
-
 #[test]
 fn test1() {
     use kissat_rs::Assignment;