Code clean up.

From-SVN: r247213

Code clean up.
From-SVN: r247213
c16fa01e · Arnaud Charlet · 7738270b · c16fa01e
Commit c16fa01e authored Apr 25, 2017 by Arnaud Charlet
Hide whitespace changes
Inline Side-by-side

Showing with 0 additions and 6 deletions

gcc/ada/contracts.adb
+0 -6

No files found.
--- a/gcc/ada/contracts.adb
+++ b/gcc/ada/contracts.adb
@@ -878,12 +878,6 @@ package body Contracts is
               then
                  Error_Msg_N
                    ("discriminated object & cannot be volatile", Obj_Id);
-
-               --  An object of a tagged type cannot be effectively volatile
-               --  (SPARK RM C.6(5)).
-
-               elsif Is_Tagged_Type (Obj_Typ) then
-                  Error_Msg_N ("tagged object & cannot be volatile", Obj_Id);
               end if;

            --  The object is not effectively volatile