From: Simon Huber <hubsim@gmail.com>
Date: Thu, 14 Jan 2016 14:19:03 +0000 (+0100)
Subject: Bugfix in compU and compGlue
X-Git-Url: https://git.ak3n.com/?a=commitdiff_plain;h=9a8c2d074537ea786110c31c4a659caebed7aa5f;p=cubicaltt.git

Bugfix in compU and compGlue
---

diff --git a/Eval.hs b/Eval.hs
index b2c9bfe..20485cb 100644
--- a/Eval.hs
+++ b/Eval.hs
@@ -564,7 +564,7 @@ compGlue i a equivs wi0 ws = glueElem vi1 usi1
                  (fibsgamma `unionSystem` (fibersys `face` gamma))) equivsI1
 
         vi1 = compConstLine ai1 vi1'
-                  (Map.map sndVal fibersys')
+                (Map.map sndVal fibersys' `unionSystem` Map.map constPath vsi1)
 
         usi1 = Map.map fstVal fibersys'
 
@@ -637,7 +637,8 @@ compU i a eqs wi0 ws = glueElem vi1 usi1
             in lemEq eqG (vi1' `face` gamma)
                      (fibsgamma `unionSystem` (fibersys `face` gamma))) eqsI1
 
-        vi1 = compConstLine ai1 vi1' (Map.map snd fibersys')
+        vi1 = compConstLine ai1 vi1'
+                (Map.map snd fibersys' `unionSystem` Map.map constPath vsi1)
 
         usi1 = Map.map fst fibersys'