remove a space in a comment

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