From 9a8c2d074537ea786110c31c4a659caebed7aa5f Mon Sep 17 00:00:00 2001 From: Simon Huber Date: Thu, 14 Jan 2016 15:19:03 +0100 Subject: [PATCH] Bugfix in compU and compGlue --- Eval.hs | 5 +++-- 1 file changed, 3 insertions(+), 2 deletions(-) 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' -- 2.34.1