From 103e4f72fe4c59a657894723da65b5eb89f5216e Mon Sep 17 00:00:00 2001
From: Clive Newstead <cnewstead@cmu.edu>
Date: Thu, 4 Feb 2016 14:02:39 -0500
Subject: [PATCH] Learning how to Git...

---
 homotopy/clive.hlean | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

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