--- a/src/HOL/TPTP/TPTP_Test.thy Tue Feb 23 15:37:18 2016 +0100 +++ b/src/HOL/TPTP/TPTP_Test.thy Tue Feb 23 16:25:08 2016 +0100 @@ -105,4 +105,4 @@ Timing.timing TPTP_Parser.parse_file (Path.implode file) *} -end \ No newline at end of file +end