diff options
| author | Gabriel Dos Reis <gdr@axiomatics.org> | 2016-02-07 15:19:35 -0800 |
|---|---|---|
| committer | Gabriel Dos Reis <gdr@axiomatics.org> | 2016-02-07 15:19:35 -0800 |
| commit | 57c34813bfccfd58955608f9ec5e45f4523ef655 (patch) | |
| tree | ee70dde1b726d1f32d59915964bb5be987390fff /src/interp/pf2atree.boot | |
| parent | a7ca7aef072617deed7a33647094adc3071a2012 (diff) | |
| download | open-axiom-57c34813bfccfd58955608f9ec5e45f4523ef655.tar.gz | |
Remove $NRTderivedTargetIfTrue
It wasn't used in any meaningful way -- its value was always set to 'false'.
Furthermore, it didn't match documentation.
Diffstat (limited to 'src/interp/pf2atree.boot')
0 files changed, 0 insertions, 0 deletions