pragma License ?

[Michael Bode <m.g.bode@web.de>]

Gnat has this nice feature called pragma License (unrestriced | GPL
...); Is this used somewhere in the Adacore universe? 

I tried today to compile a package with 'pragma License (Restricted);' in
the package body. The package withs some GtkAda packages. First try
with Gnat 3.15p and the related ancient GtkAda 2.4 package. As
expected there was no warning. Then I tried the same on Debian Etch
with GtkAda 2.8. Again no warning.

What good is an implementation defined pragma, if even said
implementation doesn't use it?

-- 
No intelligent man has any respect for an unjust law. 
He simply follows the eleventh commandment.
-- R.A. Heinlein