From 194eb10e5ad6374442aecbc5a0f5ddb689e8989b Mon Sep 17 00:00:00 2001
From: Marcell Vazquez-Chanlatte <mvc@linux.com>
Date: Wed, 22 Nov 2017 13:58:51 -0800
Subject: [PATCH] yapf

---
 stl/__init__.py   | 2 +-
 stl/test_utils.py | 2 --
 2 files changed, 1 insertion(+), 3 deletions(-)

diff --git a/stl/__init__.py b/stl/__init__.py
index b8ef2fb..f157c69 100644
--- a/stl/__init__.py
+++ b/stl/__init__.py
@@ -1,7 +1,7 @@
 # flake8: noqa
 from stl.ast import TOP, BOT
 from stl.ast import (LinEq, Interval, NaryOpSTL, Or, And, F, G, ModalOp, Neg,
-                     Var, AtomicPred, Until)
+                     Var, AtomicPred, Until, Next)
 from stl.parser import parse
 from stl.fastboolean_eval import pointwise_sat
 from stl.types import STL
diff --git a/stl/test_utils.py b/stl/test_utils.py
index 7aaf269..a8a024c 100644
--- a/stl/test_utils.py
+++ b/stl/test_utils.py
@@ -95,8 +95,6 @@ def test_discretize():
         '(~((X(A)) ∨ (X(X(A))))) ∧ (~((X(X(A))) ∨ (X(X(X(A))))))')
 
 
-
-
 def test_scope():
     dt = 0.3