1 files changed, 0 insertions, 1 deletions

diff --git a/HoTT.thy b/HoTT.thy
index 42796c1..948dd14 100644
--- a/HoTT.thy
+++ b/HoTT.thy
@@ -5,7 +5,6 @@ Load all the component modules for the HoTT logic.
 *)
 
 theory HoTT
-
 imports
 
 (* Basic theories *)