Delete syntax.ml~