From 801e3d25b41d2d6f74b8662977d5440ed6bb9522 Mon Sep 17 00:00:00 2001
From: Simon Cruanes <simon.cruanes.2007@m4x.org>
Date: Thu, 7 Nov 2019 10:37:00 -0600
Subject: [PATCH] chore: update travis

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

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"