From 111b95b1be874933bb0860d95290ddf561321fa4 Mon Sep 17 00:00:00 2001
From: Masahiro Sakai <masahiro.sakai@gmail.com>
Date: Thu, 21 Nov 2024 08:52:41 +0900
Subject: [PATCH] remove unnecessary blank line

---
 src/ToySolver/Converter/Tseitin.hs | 1 -
 1 file changed, 1 deletion(-)

diff --git a/src/ToySolver/Converter/Tseitin.hs b/src/ToySolver/Converter/Tseitin.hs
index d121cb51..37fa0a56 100644
--- a/src/ToySolver/Converter/Tseitin.hs
+++ b/src/ToySolver/Converter/Tseitin.hs
@@ -1,4 +1,3 @@
-
 {-# OPTIONS_GHC -Wall #-}
 {-# OPTIONS_HADDOCK show-extensions #-}
 {-# LANGUAGE TypeFamilies #-}