From 64896679700d32eb94e1c0a1d8c1587ca74b3314 Mon Sep 17 00:00:00 2001
From: Marcell Vazquez-Chanlatte <mvc@linux.com>
Date: Mon, 20 Mar 2017 10:49:41 -0700
Subject: [PATCH] Revert "added stl lipschitz computation bound"

This reverts commit eeb543fa34a3290033427c32d6f3c04eba83b9e7.
---
 stl/utils.py | 2 --
 1 file changed, 2 deletions(-)

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):