diff options
Diffstat (limited to 'kernel/vm.ml')
-rw-r--r-- | kernel/vm.ml | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/kernel/vm.ml b/kernel/vm.ml index b6a39b042..c6491c479 100644 --- a/kernel/vm.ml +++ b/kernel/vm.ml @@ -222,7 +222,7 @@ let whd_val : values -> whd = | 1 -> Vfix(Obj.obj o, None) | 2 -> Vfix(Obj.obj (Obj.field o 1), Some (Obj.obj o)) | 3 -> Vatom_stk(Aid(RelKey(int_tcode (fun_code o) 1)), []) - | _ -> Errors.anomaly "Vm.whd : kind_of_closure does not work") + | _ -> Errors.anomaly ~label:"Vm.whd " (Pp.str "kind_of_closure does not work")) else Vconstr_block(Obj.obj o) |