From: yuvaraj-anbarasan <42776279+yuvaraj-anbarasan@users.noreply.github.com>
Date: Mon, 20 May 2019 06:41:32 +0000 (+0530)
Subject: Fix issue #187: use ubuntu trusty version for travis build environment (#189)
X-Git-Url: http://plrg.eecs.uci.edu/git/?p=jpf-core.git;a=commitdiff_plain;h=2366852fdc664a5f37a23322eeedf4450c24646e

Fix issue #187: use ubuntu trusty version for travis build environment (#189)
---

diff --git a/.travis.yml b/.travis.yml
index dd6b29a..8db9426 100644
--- a/.travis.yml
+++ b/.travis.yml
@@ -1,3 +1,5 @@
+dist: trusty
+
 language: java
 
 jdk: