Merge PR #6876: Unify Const_sorts and Const_type, and remove Vsort

1 files changed, 1 insertions, 1 deletions

diff --git a/kernel/vm.ml b/kernel/vm.ml
index 352ea74a41..f0bae98dc2 100644
--- a/kernel/vm.ml
+++ b/kernel/vm.ml
@@ -168,7 +168,7 @@ let rec apply_stack a stk v =
 let apply_whd k whd =
   let v = val_of_rel k in
   match whd with
-  | Vsort _ | Vprod _ | Vconstr_const _ | Vconstr_block _ -> assert false
+  | Vprod _ | Vconstr_const _ | Vconstr_block _ -> assert false
   | Vfun f -> reduce_fun k f
   | Vfix(f, None) -> 
       push_ra stop;