Commit 7dcb4f62 authored by Daniel Le Berre's avatar Daniel Le Berre

Update JaCoCo to 0.8.2 to be compatible with Java 10 (thanks Tobias for the hint).

parent bd420df5
......@@ -289,7 +289,7 @@ Sat4j is a full featured boolean reasoning library designed to bring state-of-th
Markdown is supported
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment