Fix broken test descriptions

smowton · smowton · commit ccb2cf304477 · 2018-03-22T14:36:07.000Z
diff --git a/regression/cbmc-java/exceptions26/test.desc b/regression/cbmc-java/exceptions26/test.desc
@@ -1,5 +1,6 @@
 CORE
 test.class
+
 ^VERIFICATION SUCCESSFUL$
 --
 ^warning: ignoring
diff --git a/regression/cbmc-java/exceptions27/test.desc b/regression/cbmc-java/exceptions27/test.desc
@@ -1,5 +1,6 @@
 CORE
 test.class
+
 VERIFICATION SUCCESSFUL
 --
 ^warning: ignoring
