]> git.openstreetmap.org Git - nominatim.git/commitdiff
remove now unnecessary type igonre comment
authorSarah Hoffmann <lonvia@denofr.de>
Wed, 1 Nov 2023 10:57:57 +0000 (11:57 +0100)
committerSarah Hoffmann <lonvia@denofr.de>
Wed, 1 Nov 2023 10:57:57 +0000 (11:57 +0100)
nominatim/db/utils.py

index d9154ed90160b5b0a4c01e72fc6df5de4a9002cf..e3f0712a11b6f53551bc90e4734798e441f33142 100644 (file)
@@ -118,4 +118,4 @@ class CopyBuffer:
         """
         if self.buffer.tell() > 0:
             self.buffer.seek(0)
-            cur.copy_from(self.buffer, table, columns=columns) # type: ignore[arg-type]
+            cur.copy_from(self.buffer, table, columns=columns)