ada: Update Compiler_Error documentation

Since we usually build without assertions, we force a bugbox by
raising Program_Error, not an always-false assertion.

gcc/ada/ChangeLog:

	* comperr.ads (Compiler_Error): Update documentation.

diff --git a/gcc/ada/comperr.ads b/gcc/ada/comperr.ads
index eb8ae4ca6c61dd5e861ab924fd52af4645088870..e60a1fd9c8e6a75d06daf8111e4e40f9036dac84 100644 (file)
--- a/gcc/ada/comperr.ads
+++ b/gcc/ada/comperr.ads
@@ -46,7 +46,7 @@ package Comperr is
    --  Note that this is only used at the outer level (to handle constraint
    --  errors or assert errors etc.) In the normal logic of the compiler we
    --  always use pragma Assert to check for errors, and if necessary an
-   --  explicit abort is achieved by pragma Assert (False). From_GCC is true
+   --  explicit abort is achieved by raise Program_Error. From_GCC is true
    --  for a GCC abort and false for a front end exception (with a possible
    --  message stored in TSD.Current_Excep).