diff options
author | 2018-01-20 22:59:48 +0100 | |
---|---|---|
committer | 2018-01-20 23:41:45 +0100 | |
commit | f77b88a498f7e64bc35ade6fa74a00c2550bdf7f (patch) | |
tree | a8a99714d5bb73cdb24be830097e88bb8dfba2bb /test-suite | |
parent | 9aa2464375c1515aa64df7dc910e2f324e34c82f (diff) |
Remove dead code in Environ.
The constant_value function was actually not behaving the same as
constant_value_in w.r.t. projections. The former was not used, and
the only place that used the latter was in Tacred and was statically
insensitive to the use of projections.
Diffstat (limited to 'test-suite')
0 files changed, 0 insertions, 0 deletions