diff -ru thonny-3.1.1/requirements.txt thonny-3.1.1-patched/requirements.txt
--- thonny-3.1.1/requirements.txt	2019-01-05 17:17:04.000000000 +0200
+++ thonny-3.1.1-patched/requirements.txt	2019-02-10 18:12:08.868170937 +0200
@@ -4,6 +4,5 @@
 pylint>=1.6.5
 astroid>=1.4.9
 docutils>=0.13.1
-mypy>=0.470
 pyperclip>=1.5.27
 asttokens>=1.1.10