Fail if a patch is not applicable - #818

Merged

mattam82 merged 1 commit into

MetaRocq:coq-8.16from

yforster:fail-on-failed-patch

Jan 5, 2023

Commits on Dec 15, 2022

Fail if a patch is not applicable, as suggested by Jason here: https://github.com/MetaCoq/metacoq/pull/791#issuecomment-1337798441

yforster
and
JasonGross
committed
02b17cd