Fix typo in inferType

diff --git a/Eval.hs b/Eval.hs
index 52d7948e23222abf93552fefb075081e62604f20..ce2c54a7ba35c8ec4a60a34a47230fe4664901d6 100644 (file)
--- 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