diff --git a/.circleci/config.yml b/.circleci/config.yml
index 615e7625..fd6ad64e 100644
--- a/.circleci/config.yml
+++ b/.circleci/config.yml
@@ -54,7 +54,7 @@ jobs:
 
       - run:
           name: Type testing
-          command: mypy .
+          command: pip3 install mypy; mypy .
           working_directory: /home/mythril
 
       - run: