From: Simon Huber <hubsim@gmail.com>
Date: Mon, 22 Jun 2015 10:40:44 +0000 (+0200)
Subject: Fix typo in inferType
X-Git-Url: https://git.ak3n.com/?a=commitdiff_plain;h=88a6aae63dd880ecaa8a2409d6259511371d67ff;p=cubicaltt.git

Fix typo in inferType
---

diff --git a/Eval.hs b/Eval.hs
index 52d7948..ce2c54a 100644
--- a/Eval.hs
+++ b/Eval.hs
@@ -249,7 +249,7 @@ inferType v = case v of
     ty         -> error $ "inferType: expected IdP type for " ++ show v
                   ++ ", got " ++ show ty
   VComp a _ _ -> a @@ One
-  VUnGlueElem _ b hs  -> glue b hs
+  VUnGlueElem _ b _  -> b
   _ -> error $ "inferType: not neutral " ++ show v
 
 (@@) :: ToFormula a => Val -> a -> Val