1 files changed, 0 insertions, 6 deletions
diff --git a/kernel/vm.ml b/kernel/vm.ml
index 90fb56d86..51528dbf2 100644
--- a/kernel/vm.ml
+++ b/kernel/vm.ml
@@ -538,12 +538,6 @@ let branch_of_switch k sw =
 
 (* Evaluation *)
 
-
-let is_accu v =
-  let o = Obj.repr v in
-  Obj.is_block o && Obj.tag o = accu_tag &&
-  fun_code v == accumulate && Obj.tag (Obj.field o 1) < cofix_tag
-
 let rec whd_stack v stk =
   match stk with
   | [] -> whd_val v