Update minimal.ml