blob: b90419e7e6d9435bc53df9d237d514d345495e28 [file] [log] [blame]
package Predicate7_Pkg is
subtype My_Int is Integer with Dynamic_Predicate => My_Int /= 0;
end Predicate7_Pkg;