diff --git a/.travis.yml b/.travis.yml
index 49fb4322..9363fbab 100644
--- a/.travis.yml
+++ b/.travis.yml
@@ -18,7 +18,8 @@ before_install:
         export PATH=/opt/ghc/$GHCVER/bin:/opt/cabal/$CABALVER/bin:$HOME/.cabal/bin:$PATH;
         curl https://saw.galois.com/builds/z3/z3 > z3;
         chmod +x z3;
-        mv z3 $HOME/.cabal/bin/z3
+        mv z3 $HOME/.cabal/bin/z3;
+        z3 --version;
     fi
   - if [[ $TRAVIS_OS_NAME == 'osx' ]];
     then