From 1a69193da0cbd3a491468b9773f98eb9d774961a Mon Sep 17 00:00:00 2001
From: =?utf8?q?Anders=20M=C3=B6rtberg?= <andersmortberg@gmail.com>
Date: Fri, 15 Jan 2016 11:49:15 -0500
Subject: [PATCH] "fix" bug

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

diff --git a/Eval.hs b/Eval.hs
index 1c16551..1bc9055 100644
--- a/Eval.hs
+++ b/Eval.hs
@@ -256,7 +256,7 @@ inferType v = case v of
     ty         -> error $ "inferType: expected IdP type for " ++ show v
                   ++ ", got " ++ show ty
   VComp a _ _ -> a @@ One
-  VUnGlueElem _ b _  -> b
+--  VUnGlueElem _ b _  -> b   -- This is wrong! Store the type??
   VUnGlueElemU _ b _ -> b
   _ -> error $ "inferType: not neutral " ++ show v
 
-- 
2.34.1