From: Anders Mörtberg <andersmortberg@gmail.com>
Date: Fri, 4 Dec 2015 19:01:46 +0000 (-0500)
Subject: Add the missing line in comp!
X-Git-Url: https://git.ak3n.com/?a=commitdiff_plain;h=a897031b7a48117ec052f76a3d59617329527dfb;p=cubicaltt.git

Add the missing line in comp!
---

diff --git a/Eval.hs b/Eval.hs
index cee4194..8616746 100644
--- a/Eval.hs
+++ b/Eval.hs
@@ -285,6 +285,7 @@ comp i a u ts = case a of
   VPi{} -> VComp (VPath i a) u (Map.map (VPath i) ts)
   VU -> compUniv u (Map.map (VPath i) ts)
   -- VU    -> glue u (Map.map (eqToIso . VPath i) ts)
+  VCompU a es   -> compU i a es u ts
   VGlue b isos | not (isNeutralGlue i isos u ts) -> compGlue i b isos u ts
   Ter (Sum _ _ nass) env -> case u of
     VCon n us | all isCon (elems ts) -> case lookupLabel n nass of