🎨 automated ormolu commit

lsrcz · Jun 29, 2024 · e33bd60 · e33bd60
1 parent c3fd927
commit e33bd60
Showing 1 changed file with 3 additions and 3 deletions.
diff --git a/src/Grisette/Internal/Core/Data/Class/ExtractSymbolics.hs b/src/Grisette/Internal/Core/Data/Class/ExtractSymbolics.hs
@@ -449,19 +449,19 @@ deriving via
   (Default (Product l r a))
   instance
     (ExtractSymbolics (l a), ExtractSymbolics (r a)) =>
-     ExtractSymbolics (Product l r a)
+    ExtractSymbolics (Product l r a)
 
 deriving via
   (Default1 (Product l r))
   instance
     (ExtractSymbolics1 l, ExtractSymbolics1 r) =>
-     ExtractSymbolics1 (Product l r)
+    ExtractSymbolics1 (Product l r)
 
 -- Sum
 deriving via
   (Default (Sum l r a))
   instance
-    (ExtractSymbolics (l a), ExtractSymbolics (r a)) => 
+    (ExtractSymbolics (l a), ExtractSymbolics (r a)) =>
     ExtractSymbolics (Sum l r a)
 
 deriving via