Recording predecessors per state as opposed to per transition.

[jpf-core.git] / .travis.yml

diff --git a/.travis.yml b/.travis.yml
index dd6b29add74e5f3b1d306618c869bcbc6efdb01f..8db942630e2e5de8f1d47c311191f64b40f658ba 100644 (file)
--- a/.travis.yml
+++ b/.travis.yml
@@ -1,3 +1,5 @@
+dist: trusty
+
 language: java
 
 jdk: