From 80faaa4819f3e8645ddda4e6ee3c97df7a01171f Mon Sep 17 00:00:00 2001
From: Aaron Tomb <atomb@galois.com>
Date: Fri, 7 Jul 2017 15:11:25 -0700
Subject: [PATCH] Fix typo in Travis config

---
 .travis.yml | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

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