delete print.ml