method
remove_drop d =
drop_list :=
List
.filter (
fun
(dd,_)
->
dd <> d) !drop_list