[Bug plugins/107964] [13] missing plugin header contracts.h

[cvs-commit at gcc dot gnu.org via Gcc-bugs]

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=107964

--- Comment #1 from CVS Commits <cvs-commit at gcc dot gnu.org> ---
The master branch has been updated by Richard Biener <rgue...@gcc.gnu.org>:

https://gcc.gnu.org/g:824542bec24c09319fa55922a0162209a5f64963

commit r13-4490-g824542bec24c09319fa55922a0162209a5f64963
Author: Scott Snyder <s...@li-snyder.org>
Date:   Mon Dec 5 09:20:11 2022 +0100

    plugins/107964 - install contracts.h

    contracts.h is included by cp-tree.h so needs to be installed for
    plugins.

            PR plugins/107964
    gcc/cp/
            * Make-lang.in (CP_PLUGIN_HEADERS): Install contracts.h