PR ada/52494

[pf3gnuchains/gcc-fork.git] / gcc / ada / exp_alfa.ads

diff --git a/gcc/ada/exp_alfa.ads b/gcc/ada/exp_alfa.ads
index 0e882be..dbb8cb2 100644 (file)
--- a/gcc/ada/exp_alfa.ads
+++ b/gcc/ada/exp_alfa.ads
@@ -6,7 +6,7 @@
 --                                                                          --
 --                                 S p e c                                  --
 --                                                                          --
---          Copyright (C) 1992-2011, Free Software Foundation, Inc.         --
+--             Copyright (C) 2011, 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- --
@@ -37,7 +37,7 @@
 --        conversions, expand actuals in calls to introduce temporaries)
 
 --    2. Facilitate treatment for the formal verification back-end (fully
---       qualify names)
+--       qualify names, set membership)
 
 --    3. Avoid the introduction of low-level code that is difficult to analyze
 --       formally, as typically done in the full expansion for high-level