diff --git a/stl/utils.py b/stl/utils.py
index 2d4a7e4..025b9ca 100644
--- a/stl/utils.py
+++ b/stl/utils.py
@@ -121,7 +121,6 @@ def from_mtl(phi:MTL, ap_map:Dict[AtomicPred, LinEq]) -> STL:
     focus = AP_lens(phi)
     return focus.modify(ap_map.get)
 
-
 def linear_stl_lipschitz(phi):
     r = max(abs(c) for c in terms_lens(phi).coeff.get_all())
     try:
@@ -129,7 +128,6 @@ def linear_stl_lipschitz(phi):
     except TypeError:
         return r
 
-
 # EDSL
 
 def alw(phi, *, lo, hi):