From 075a7f8cd15e95be2d090acef37324c5f822c6f3 Mon Sep 17 00:00:00 2001
From: Alexandru Fikl <alexfikl@gmail.com>
Date: Wed, 4 May 2022 10:07:45 -0500
Subject: [PATCH] run-mypy: friendlier venv support

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

diff --git a/run-mypy.sh b/run-mypy.sh
index c67980e..c8b9073 100755
--- a/run-mypy.sh
+++ b/run-mypy.sh
@@ -1,3 +1,3 @@
 #! /bin/bash
 
-mypy --show-error-codes --strict pytato test/testlib.py
+python -m mypy --show-error-codes --strict pytato test/testlib.py
-- 
GitLab