--- a/src/HOL/Number_Theory/Prime_Powers.thy Fri Jan 05 15:24:57 2018 +0100
+++ b/src/HOL/Number_Theory/Prime_Powers.thy Fri Jan 05 18:41:42 2018 +0100
@@ -510,4 +510,4 @@
finally show ?thesis .
qed (insert assms, auto simp: mangoldt_def)
-end
\ No newline at end of file
+end