From dc9276fcef973995490be3307ea2b31e7196f9cd Mon Sep 17 00:00:00 2001
From: Joachim Klein <klein@tcs.inf.tu-dresden.de>
Date: Thu, 12 Jul 2018 16:16:12 +0200
Subject: [PATCH] Travis configuration: Disable JDK10 for the moment

There are problems running the test suite, deactivate JDK10 for the moment.
---
 .travis.yml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/.travis.yml b/.travis.yml
index 3516f148..0b2e84e8 100644
--- a/.travis.yml
+++ b/.travis.yml
@@ -10,7 +10,7 @@ language: java
 jdk:
   - oraclejdk8
   - oraclejdk9
-  - oraclejdk10
+#  - oraclejdk10
   
 # compile and run the test suite
 script: cd prism && make && echo 'Compilation successful, running test suite....' && echo && make tests && echo && echo 'Yay'