From a8045a8fa9163def822dd2d9709ee004cb6bf013 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Robert=20H=C3=B6nig?= Date: Mon, 28 May 2018 12:45:28 +0200 Subject: [PATCH] mypy: Fix paths to chessbot files. --- tools/run-mypy | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/tools/run-mypy b/tools/run-mypy index de017d3..4b2d20e 100755 --- a/tools/run-mypy +++ b/tools/run-mypy @@ -63,8 +63,8 @@ force_include = [ "zulip_bots/zulip_bots/bots/define/test_define.py", "zulip_bots/zulip_bots/bots/encrypt/encrypt.py", "zulip_bots/zulip_bots/bots/encrypt/test_encrypt.py", - "zulip_bots/zulip_bots/bots/chess/chess.py", - "zulip_bots/zulip_bots/bots/chess/test_chess.py", + "zulip_bots/zulip_bots/bots/chessbot/chessbot.py", + "zulip_bots/zulip_bots/bots/chessbot/test_chessbot.py", "zulip_bots/zulip_bots/bots/xkcd/xkcd.py", "zulip_bots/zulip_bots/bots/xkcd/test_xkcd.py", "zulip_bots/zulip_bots/bots/witai/witai.py",