Add a comment warning that this is a generated file at the beginning of the generated files - Githubissues

ocaml-gospel / ortac

Runtime assertion checking based on Gospel specifications

https://ocaml-gospel.github.io/ortac/

MIT License

37 stars 10 forks source link

Add a comment warning that this is a generated file at the beginning of the generated files #184

Closed n-osborne closed 6 months ago