mirror of
https://github.com/AdaCore/PolyORB.git
synced 2026-02-12 13:01:15 -08:00
These redundant clauses will be flagged by the compiler in the near future (PA07-083). Q725-034 Subversion-branch: /trunk/polyorb Subversion-revision: 257110