--- a/src/HOL/TPTP/TPTP_Proof_Reconstruction_Test_Units.thy Tue Feb 23 15:37:18 2016 +0100
+++ b/src/HOL/TPTP/TPTP_Proof_Reconstruction_Test_Units.thy Tue Feb 23 16:25:08 2016 +0100
@@ -2290,4 +2290,4 @@
apply (tactic {*standard_cnf_tac @{context} 1*})
done
-end
\ No newline at end of file
+end