diff options
| author | dos-reis <gdr@axiomatics.org> | 2011-11-12 00:02:45 +0000 |
|---|---|---|
| committer | dos-reis <gdr@axiomatics.org> | 2011-11-12 00:02:45 +0000 |
| commit | 9cd53b14b6a45a5b55f68d2ca0276dc0b6b1d9e8 (patch) | |
| tree | 08af9678b1af71f0b62947583157ddf7b9c61f8f /src/clef | |
| parent | 03873819331377f8797c2b992878caa0207e1d50 (diff) | |
| download | open-axiom-9cd53b14b6a45a5b55f68d2ca0276dc0b6b1d9e8.tar.gz | |
* interp/define.boot (getTargetFromRhs): Do not try to record
references to used entities.
Diffstat (limited to 'src/clef')
0 files changed, 0 insertions, 0 deletions