From 47e8d42f59070aacd07ed81d0fc41cca0fee7d1c Mon Sep 17 00:00:00 2001
From: Dan Gohman <sunfish@mozilla.com>
Date: Mon, 15 Oct 2018 16:01:49 -0700
Subject: [PATCH] Pin mypy to 0.630.

Pin mypy to 0.630 to work around errors reported in mypy 0.641.
---
 .travis.yml | 4 +++-
 1 file changed, 3 insertions(+), 1 deletion(-)

diff --git a/.travis.yml b/.travis.yml
index a62423fb7..7113ae2d6 100644
--- a/.travis.yml
+++ b/.travis.yml
@@ -23,7 +23,9 @@ addons:
         packages:
             - python3-pip
 install:
-    - pip3 install --user --upgrade mypy flake8
+    # Fix the mypy version at 0.630 since version 0.641 is more strict and the
+    # code is not yet updated.
+    - pip3 install --user --upgrade mypy==0.630 flake8
     - mypy --version
 before_script:
     # If an old version of rustfmt from cargo is already installed, uninstall