fix after rebase

anoma · Mar 30, 2023 · a2591e5 · a2591e5
1 parent c4c1542
commit a2591e5
Showing 1 changed file with 1 addition and 0 deletions.
diff --git a/src/Juvix/Compiler/Backend/Geb/Extra.hs b/src/Juvix/Compiler/Backend/Geb/Extra.hs
@@ -109,6 +109,7 @@ mapVars f m = go 0 m
       MorphismVar x -> f k x
       MorphismInteger i -> MorphismInteger i
       MorphismBinop x -> MorphismBinop (over binopLeft (go k) (over binopRight (go k) x))
+      MorphismFail x -> MorphismFail x
 
 shift :: Int -> Morphism -> Morphism
 shift 0 m = m