diff options
author | dos-reis <gdr@axiomatics.org> | 2011-02-26 01:37:33 +0000 |
---|---|---|
committer | dos-reis <gdr@axiomatics.org> | 2011-02-26 01:37:33 +0000 |
commit | 19879cbdaa8f64442135f29896e02725e435483a (patch) | |
tree | 7975830b65cc22ec5f11d00ce3c3e50a4f0db35c /src/etc | |
parent | b0074cf7a64b5a4070b649924285084e4980f147 (diff) | |
download | open-axiom-19879cbdaa8f64442135f29896e02725e435483a.tar.gz |
* interp/g-opt.boot (optNot): Push %not inside conditionals.
(optCond): Remove ineffectual transformation.
Diffstat (limited to 'src/etc')
0 files changed, 0 insertions, 0 deletions