X-Git-Url: http://demsky.eecs.uci.edu/git/?a=blobdiff_plain;f=.travis.yml;h=8db942630e2e5de8f1d47c311191f64b40f658ba;hb=e6fead1fae229859f4bb2626e13e09012ffe9e2b;hp=dd6b29add74e5f3b1d306618c869bcbc6efdb01f;hpb=4f579cf90d00f43bba419a71f9e57cd573a479a3;p=jpf-core.git

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: