summaryrefslogtreecommitdiff
path: root/src/psl/psl.ads
blob: a2f4bdce0910e4467b27b58a18957b9f303bb1fc (plain)
1
2
3
package PSL is
   pragma Pure (PSL);
end PSL;