diff options
author | Jacques-Henri Jourdan <jacques-henri.jourdan@normalesup.org> | 2019-10-09 12:44:55 +0200 |
---|---|---|
committer | Jacques-Henri Jourdan <jacques-henri.jourdan@normalesup.org> | 2019-10-11 11:17:20 +0200 |
commit | 1e31beb9937daaab8c2a379898ab34095edd845c (patch) | |
tree | 3d506e77cb842d9c570e2c71c80737d6a3a6a083 /runtime/finalise.c | |
parent | d29a01e049e78539e5f2c224bd621cd293ca5a98 (diff) | |
download | ocaml-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.c | 1 |
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. |