1 files changed, 1 insertions, 1 deletions
diff --git a/.travis.yml b/.travis.yml
index 656c9e187..c38038452 100644
--- a/.travis.yml
+++ b/.travis.yml
@@ -146,7 +146,7 @@ matrix:
       - brew update --debug --verbose
       - brew install opam gnu-time
 
-    - if: NOT type IS pull_request
+    - if: NOT (type = pull_request)
       os: osx
       env:
       - TEST_TARGET=""