Update itere_triangle.ml