From 882e95b823f80555c4da9af0b38a8c3c2baf58b4 Mon Sep 17 00:00:00 2001
From: InsanePrawn <insane.prawny@gmail.com>
Date: Fri, 15 Jul 2022 06:09:55 +0200
Subject: [PATCH] typecheck.sh: deduplicate files

---
 typecheck.sh | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/typecheck.sh b/typecheck.sh
index 8eadd89..7797918 100755
--- a/typecheck.sh
+++ b/typecheck.sh
@@ -1,2 +1,2 @@
 #!/bin/bash
-git ls-files \*.py | xargs mypy --pretty --install-types --ignore-missing-imports "$@"
+git ls-files \*.py | sort -u | xargs mypy --pretty --install-types --ignore-missing-imports "$@"