diff --git a/jbmc/regression/jbmc-cover/generics/test.desc b/jbmc/regression/jbmc-cover/generics/test.desc index c11972c0136..0fe333922c8 100644 --- a/jbmc/regression/jbmc-cover/generics/test.desc +++ b/jbmc/regression/jbmc-cover/generics/test.desc @@ -7,5 +7,3 @@ file AbstractTest.java line 18 .* SATISFIED file AbstractTest.java line 19 .* SATISFIED file AbstractTest.java line 20 .* SATISFIED file AbstractTest.java line 21 .* SATISFIED - -