Fix cbv evar case

Yann-Leray · Oct 22, 2023 · 2eb92b2 · 2eb92b2
1 parent f202dcb
commit 2eb92b2
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/pretyping/cbv.ml b/pretyping/cbv.ml
@@ -371,7 +371,7 @@ let rec reify_stack t = function
       reify_stack (mkApp(t,Array.map_of_list reify_value args)) st
   | CASE (u,pms,ty,br,iv,ci,env,st) ->
       reify_stack
-        (mkCase (ci, u, pms, ty, iv, t,br))
+        (apply_env env @@ mkCase (ci, u, pms, ty, iv, t,br))
         st
   | PROJ (p, st) ->
        reify_stack (mkProj (p, t)) st