src/HOL/Analysis/Caratheodory.thy

--- a/src/HOL/Analysis/Caratheodory.thy	Thu Dec 27 23:38:55 2018 +0100
+++ b/src/HOL/Analysis/Caratheodory.thy	Fri Dec 28 10:29:59 2018 +0100
@@ -6,7 +6,7 @@
 section%important \<open>Caratheodory Extension Theorem\<close>
 
 theory Caratheodory
-  imports Measure_Space
+imports Measure_Space
 begin
 
 text \<open>