diff --git a/python_ta/z3/z3_parser.py b/python_ta/z3/z3_parser.py
index 7faf8215..27c91a59 100644
--- a/python_ta/z3/z3_parser.py
+++ b/python_ta/z3/z3_parser.py
@@ -1,5 +1,4 @@
 from __future__ import annotations
-
 from typing import Optional, Union
 
 import astroid