Code clean up.

From-SVN: r247213

diff --git a/gcc/ada/contracts.adb b/gcc/ada/contracts.adb
index eb6443b8d56d977368fc43d55b8ea0737c7f2d96..587a0b8513dd547bcc514d9cd402e233ba8dc1f4 100644 (file)
--- 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