Delete bob.mli