1 files changed, 0 insertions, 1 deletions
diff --git a/INSTALL b/INSTALL
index fb4cea59..9e049127 100644
--- a/INSTALL
+++ b/INSTALL
@@ -118,7 +118,6 @@ shell script into perhaps sensible places.  Try with "-n" or examine
 the Makefile carefully before use.
 
   
-
 Removing support for unwanted provers
 -------------------------------------