Update src/skeleton.ml