Update problem04.ml