]> gcc.gnu.org Git - gcc.git/blobdiff - gcc/ada/contracts.adb
[Ada] Cleanup insertion of single freezing actions
[gcc.git] / gcc / ada / contracts.adb
index 2726486d2002b1c9148f9c8d2a1b98b560922c49..98f469bf5b7bb7091aa7d7975e718ab53d3b267f 100644 (file)
@@ -3761,7 +3761,6 @@ package body Contracts is
 
          ICW_Decl := Build_ICW_Decl;
 
-         Ensure_Freeze_Node (Tagged_Type);
          Append_Freeze_Action (Tagged_Type, ICW_Decl);
          Analyze (ICW_Decl);
 
@@ -4034,7 +4033,6 @@ package body Contracts is
 
          --  Add the helper to the freezing actions of the tagged type
 
-         Ensure_Freeze_Node   (Tagged_Type);
          Append_Freeze_Action (Tagged_Type, Helper_Decl);
          Analyze (Helper_Decl);
 
This page took 0.027774 seconds and 5 git commands to generate.