debian/dirs
| author |
mjsousa |
|
Wed, 12 Feb 2014 17:02:08 +0000 |
| changeset 865 |
7365c3e5c9ae |
| parent 106 |
0fff950e578e
|
| permissions |
-rwxr-xr-x |
Fix bug: when checking compatibility between GLOBAL and EXTERNAL variables, must only enforce GLOBAL CONSTANT => EXTERNAL CONSTANT.
Reverse CONSTANT implication is not enforced, and neither is RETAIN compatibility.