blob: 88b0056cbe213b005d3b5c69475a7fd589fdfd2e [file] [log] [blame]
package Assertion_Policy1_Pkg is
pragma Assertion_Policy (Ignore);
procedure Proc (Low : Integer; High : Integer)
with Pre => Low < High;
end Assertion_Policy1_Pkg;