remove unnecessary blank line

msakai · Nov 20, 2024 · 111b95b · 111b95b
1 parent af80388
commit 111b95b
Showing 1 changed file with 0 additions and 1 deletion.
diff --git 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 #-}