summaryrefslogtreecommitdiff
path: root/runtime/finalise.c
diff options
context:
space:
mode:
authorJacques-Henri Jourdan <jacques-henri.jourdan@normalesup.org>2019-10-09 12:44:55 +0200
committerJacques-Henri Jourdan <jacques-henri.jourdan@normalesup.org>2019-10-11 11:17:20 +0200
commit1e31beb9937daaab8c2a379898ab34095edd845c (patch)
tree3d506e77cb842d9c570e2c71c80737d6a3a6a083 /runtime/finalise.c
parentd29a01e049e78539e5f2c224bd621cd293ca5a98 (diff)
downloadocaml-1e31beb9937daaab8c2a379898ab34095edd845c.tar.gz
Remove dead variables [caml_memprof_to_do] and [caml_final_to_do].
Diffstat (limited to 'runtime/finalise.c')
-rw-r--r--runtime/finalise.c1
1 files changed, 0 insertions, 1 deletions
diff --git a/runtime/finalise.c b/runtime/finalise.c
index ace72846f9..586d51ef57 100644
--- a/runtime/finalise.c
+++ b/runtime/finalise.c
@@ -61,7 +61,6 @@ struct to_do {
static struct to_do *to_do_hd = NULL;
static struct to_do *to_do_tl = NULL;
-int caml_final_to_do = 0;
/*
to_do_hd: head of the list of finalisation functions that can be run.
to_do_tl: tail of the list of finalisation functions that can be run.