From 3bc783427b042d7188166bd815d75011ffd8f2a8 Mon Sep 17 00:00:00 2001
From: Kunal Sheth <kunal@kunalsheth.info>
Date: Thu, 15 Dec 2022 22:21:21 -0600
Subject: [PATCH] Fix style error on untyped list.

---
 sympy/printing/tests/test_smtlib.py | 6 +++---
 1 file changed, 3 insertions(+), 3 deletions(-)

diff --git a/sympy/printing/tests/test_smtlib.py b/sympy/printing/tests/test_smtlib.py
index 38a4ce7d90b6..a85ad1fa2cc5 100644
--- a/sympy/printing/tests/test_smtlib.py
+++ b/sympy/printing/tests/test_smtlib.py
@@ -25,12 +25,12 @@ class _W(Enum):
 
 @contextlib.contextmanager
 def _check_warns(expected: typing.Iterable[_W]):
-    warnings = []
-    log_warn = warnings.append
+    warns: typing.List[str] = []
+    log_warn = warns.append
     yield log_warn
 
     errors = []
-    for i, (w, e) in enumerate(itertools.zip_longest(warnings, expected)):
+    for i, (w, e) in enumerate(itertools.zip_longest(warns, expected)):
         if not e:
             errors += [f"[{i}] Received unexpected warning `{w}`."]
         elif not w: