--- a/src/HOL/TPTP/TPTP_Proof_Reconstruction_Test.thy Tue Feb 23 15:37:18 2016 +0100
+++ b/src/HOL/TPTP/TPTP_Proof_Reconstruction_Test.thy Tue Feb 23 16:25:08 2016 +0100
@@ -822,4 +822,4 @@
Use this to find the smallest failure, then debug that.
*)
-end
\ No newline at end of file
+end