Delete set.mli