aboutsummaryrefslogtreecommitdiff
path: root/gcc/ada/libgnat/s-assert.ads
diff options
context:
space:
mode:
Diffstat (limited to 'gcc/ada/libgnat/s-assert.ads')
-rw-r--r--gcc/ada/libgnat/s-assert.ads6
1 files changed, 4 insertions, 2 deletions
diff --git a/gcc/ada/libgnat/s-assert.ads b/gcc/ada/libgnat/s-assert.ads
index 7dcd93a..aa82549 100644
--- a/gcc/ada/libgnat/s-assert.ads
+++ b/gcc/ada/libgnat/s-assert.ads
@@ -6,7 +6,7 @@
-- --
-- S p e c --
-- --
--- Copyright (C) 1992-2020, Free Software Foundation, Inc. --
+-- Copyright (C) 1992-2021, Free Software Foundation, Inc. --
-- --
-- GNAT is free software; you can redistribute it and/or modify it under --
-- terms of the GNU General Public License as published by the Free Soft- --
@@ -38,9 +38,11 @@
pragma Compiler_Unit_Warning;
+with Ada.Assertions;
+
package System.Assertions is
- Assert_Failure : exception;
+ Assert_Failure : exception renames Ada.Assertions.Assertion_Error;
-- Exception raised when assertion fails
procedure Raise_Assert_Failure (Msg : String);