From dd132a0fbf7f9b4098d2f178fb8fb2980a6e6cc6 Mon Sep 17 00:00:00 2001
From: Rafael Ferreira da Silva <rafsilva@isi.edu>
Date: Thu, 5 Mar 2020 15:15:49 -0800
Subject: [PATCH] #3: migrating code to be compatible with WRENCH 1.5

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

diff --git a/.travis.yml b/.travis.yml
index 209373e..2cefcb4 100644
--- a/.travis.yml
+++ b/.travis.yml
@@ -8,7 +8,7 @@ addons:
       - docker-ce
 
 env:
-  - DIST=unstable
+  - DIST=1.5
 
 services:
   - docker