1 files changed, 2 insertions, 1 deletions
diff --git a/src/Reflection/MapCastByDeBruijn.v b/src/Reflection/MapCastByDeBruijn.v
index 411bfdae2..61af3a1ca 100644
--- a/src/Reflection/MapCastByDeBruijn.v
+++ b/src/Reflection/MapCastByDeBruijn.v
@@ -33,7 +33,8 @@ Section language.
                             empty
                             e'
                             input_bounds)
-               (compile (Linearize e _) (DefaultNamesFor e))
+               (let e := Linearize e in
+                compile (e _) (DefaultNamesFor e))
        with
        | Some (Some (existT output_bounds e'))
          => Some (existT _ output_bounds (InterpToPHOAS (Context:=Context) failb e'))