This patch moves routine Find_Pragma from sem_util to einfo. No change in
behavior, no test.
Tested on x86_64-pc-linux-gnu, committed on trunk
2013-04-25 Hristian Kirtchev
* einfo.ads, einfo.adb: Remove with and use clauses for Namet.
(Find_Pragma): New routine.
* sem_
This patch modifies the logic that generates procedure _Postconditions to take
into account empty invariant procedures and disabled predicates.
-- Source --
-- main.adb
pragma Assertion_Policy (Invariant => Check);
procedure Main is
X : Integer := 1;
type R is n
