From: Anders Mörtberg <andersmortberg@gmail.com>
Date: Tue, 5 Jan 2016 11:19:45 +0000 (+0100)
Subject: remove a space in a comment
X-Git-Url: https://git.ak3n.com/?a=commitdiff_plain;h=fc9f3d43e8429b2c84dcd37ea4bc67a15891f066;p=cubicaltt.git

remove a space in a comment
---

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