diff --git a/.travis.yml b/.travis.yml
index 08b6b9bc..ea1028cb 100644
--- a/.travis.yml
+++ b/.travis.yml
@@ -5,7 +5,7 @@ services:
 - docker
 env:
   global:
-  - PINS="sidekick:. sidekick-bin:. smtlib-utils:https://github.com/c-cube/smtlib-utils.git"
+  - PINS="sidekick:. sidekick-bin:."
   - DISTRO="ubuntu-16.04"
   matrix:
   #- PACKAGE="sidekick" OCAML_VERSION="4.02.3"