2018-06-11 Yannick Moy <moy@adacore.com> gcc/ada/ * doc/gnat_rm/implementation_defined_pragmas.rst: Add Suppressible argument to Assertion_Policy * gnat_rm.texi: Regenerate. From-SVN: r261415