[multiple changes]
[gcc.git] / gcc / ada / lib-writ.adb
index 7168e69c9a220115ec9f7d342f192eae0a6cc835..c4dd7668d489c894fb8cd313aaf80c6e85c944e5 100644 (file)
@@ -944,7 +944,9 @@ package body Lib.Writ is
       --  First the information for the boolean restrictions
 
       for R in All_Boolean_Restrictions loop
-         if Main_Restrictions.Set (R) then
+         if Main_Restrictions.Set (R)
+           and then not Restriction_Warnings (R)
+         then
             Write_Info_Char ('r');
          elsif Main_Restrictions.Violated (R) then
             Write_Info_Char ('v');