Restore blank line before next section, erroneously erased in my previous commit

* etc/compilation.txt (symbol ant): add an additional trailing blank line to this section, so that there are two of them immediately before the next section

diff --git a/etc/compilation.txt b/etc/compilation.txt
index 8f4986a32d7deb5e5fa3f4c0d144906245d722e4..da6df8a1bb4f250a5dc721e0578151e5725968df 100644 (file)
--- a/etc/compilation.txt
+++ b/etc/compilation.txt
@@ -54,6 +54,7 @@ jikes are the ending line and ending column.
     [jikes]  foo.java:3:5:7:9: blah blah
   [javadoc] c:\MyProject\Polynomial.java:560: error: unknown tag: math
 
+
 * Bash v2
 
 symbol: bash