From 93224d9855e968f2233c234a4ef1c48da24a1dd4 Mon Sep 17 00:00:00 2001
From: "Hoang M. Le" <hle@informatik.uni-bremen.de>
Date: Thu, 6 Apr 2017 11:59:00 +0200
Subject: [travis] fix a git submodule failure of metaSMT

---
 .travis/metaSMT.sh | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/.travis/metaSMT.sh b/.travis/metaSMT.sh
index 26a61c6b..11f05758 100755
--- a/.travis/metaSMT.sh
+++ b/.travis/metaSMT.sh
@@ -10,7 +10,7 @@ sudo apt-get -y install libboost1.55-dev libz3 libz3-dev libgmp-dev
 # Clone
 git clone -b ${METASMT_VERSION} --single-branch --depth 1 https://github.com/hoangmle/metaSMT.git
 cd metaSMT
-git submodule update --init --depth 1
+git submodule update --init
 
 source ${KLEE_SRC}/.travis/sanitizer_flags.sh
 if [ "X${IS_SANITIZED_BUILD}" != "X0" ]; then
-- 
cgit 1.4.1