From 69cf6d0be617caaa2e29f56d4d5b31be5e912028 Mon Sep 17 00:00:00 2001
From: Simon Huber <hubsim@gmail.com>
Date: Mon, 8 Jun 2015 12:04:32 +0200
Subject: [PATCH] Convertability for hComp

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

diff --git a/Eval.hs b/Eval.hs
index 66c7778..4f28dbf 100644
--- a/Eval.hs
+++ b/Eval.hs
@@ -621,6 +621,7 @@ instance Convertible Val where
       (p,VPath i' a')            -> conv ns (p @@ j) (a' `swap` (i',j))
       (VAppFormula u x,VAppFormula u' x') -> conv ns (u,x) (u',x')
       (VComp a u ts,VComp a' u' ts') -> conv ns (a,u,ts) (a',u',ts')
+      (VHComp a u ts,VHComp a' u' ts') -> conv ns (a,u,ts) (a',u',ts')
       (VGlue v hisos,VGlue v' hisos') -> conv ns (v,hisos) (v',hisos')
       (VGlueElem u us,VGlueElem u' us') -> conv ns (u,us) (u',us')
       (VUnGlueElem u _ _,VUnGlueElem u' _ _) -> conv ns u u'
-- 
2.34.1