Update seal_quad_triangles.h