Update ex1.ml