1 files changed, 0 insertions, 1 deletions
diff --git a/Equal.thy b/Equal.thy
index 12ed272..02fe540 100644
--- a/Equal.thy
+++ b/Equal.thy
@@ -7,7 +7,6 @@ Equality type.
 
 theory Equal
   imports HoTT_Base
-
 begin
 
 axiomatization