Merge branch 'master' into refactoring_type_annotations

pyta-uoft · Sep 15, 2024 · 43b6444 · 43b6444
2 parents 655c16c + 02e9adb
commit 43b6444
Showing 1 changed file with 0 additions and 1 deletion.
diff --git 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