diff -r 29800666e526 -r 842917225d56 src/HOL/TPTP/TPTP_Proof_Reconstruction_Test.thy
--- 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