diff --git a/verified_cogen/tools/inequality_replacer.py b/verified_cogen/tools/inequality_replacer.py
index 259a32f..0c91d8e 100644
--- a/verified_cogen/tools/inequality_replacer.py
+++ b/verified_cogen/tools/inequality_replacer.py
@@ -6,7 +6,7 @@
 class InequalityReplacer(ast.NodeTransformer):
     def visit_Compare(self, node: Compare):
         if len(node.comparators) > 1:
-            new_nodes: List[Compare] = []
+            new_nodes: List[expr] = []
             left: expr = node.left
             left = self.visit(left)
             for op, right in zip(node.ops, node.comparators):