Update main.ml