From fc9f3d43e8429b2c84dcd37ea4bc67a15891f066 Mon Sep 17 00:00:00 2001
From: =?utf8?q?Anders=20M=C3=B6rtberg?= <andersmortberg@gmail.com>
Date: Tue, 5 Jan 2016 12:19:45 +0100
Subject: [PATCH] remove a space in a comment

---
 TypeChecker.hs | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/TypeChecker.hs b/TypeChecker.hs
index 9e00acf..17fcb66 100644
--- a/TypeChecker.hs
+++ b/TypeChecker.hs
@@ -376,7 +376,7 @@ checkPathSystem t0 va ps = do
       unlessM (a0 === eval rhoAlpha t0) $
         throwError $ "Incompatible system " ++ showSystem ps ++
                      ", component\n " ++ show pAlpha ++
-                     "\nincompatible  with\n " ++ show t0
+                     "\nincompatible with\n " ++ show t0
       return a1) ps
   checkCompSystem (evalSystem rho ps)
   return v
-- 
2.34.1