Cleanup

2022-07-16 18:07:43 +01:00
parent 11732358ed
commit 22adcb89e0
7 changed files with 31 additions and 34 deletions
@@ -31,6 +31,6 @@ defaultTLS = TLS
    , _tlsTime = 1
    }
  where
-    f _ t 
+    f t 
        | _tlsTime t <= 0 = Nothing
        | otherwise       = Just $ t & tlsTime -~ 1