diff --git a/homotopy/clive.hlean b/homotopy/clive.hlean
index 94b982e..1c01358 100644
--- a/homotopy/clive.hlean
+++ b/homotopy/clive.hlean
@@ -4,6 +4,6 @@ open eq is_trunc is_equiv nat equiv trunc function fiber circle
 
 namespace clive
 
-check 
+
 
 end clive