diff --git a/mythril/analysis/modules/integer.py b/mythril/analysis/modules/integer.py
index 638c56ed..ac825904 100644
--- a/mythril/analysis/modules/integer.py
+++ b/mythril/analysis/modules/integer.py
@@ -87,6 +87,7 @@ class IntegerOverflowUnderflowModule(DetectionModule):
         """
         Cache satisfiability of overflow constraints
         """
+
         self._ostates_satisfiable = []  # type: List[GlobalState]
         self._ostates_unsatisfiable = []  # type: List[GlobalState]