Run make to update template-coq/gen-src/cRelationClasses.mli.orig - #791

Run make to update template-coq/gen-src/cRelationClasses.mli.orig#791

JasonGross wants to merge 1 commit into

MetaRocq:coq-8.16MetaRocq/metarocq:coq-8.16from

JasonGross:adjust-gen-srcJasonGross/metacoq:adjust-gen-srcCopy head branch name to clipboard