From 88a6aae63dd880ecaa8a2409d6259511371d67ff Mon Sep 17 00:00:00 2001
From: Simon Huber <hubsim@gmail.com>
Date: Mon, 22 Jun 2015 12:40:44 +0200
Subject: [PATCH] Fix typo in inferType

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

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
-- 
2.34.1