diff options
| author | dos-reis <gdr@axiomatics.org> | 2010-06-20 22:12:10 +0000 |
|---|---|---|
| committer | dos-reis <gdr@axiomatics.org> | 2010-06-20 22:12:10 +0000 |
| commit | bf21f6c3c98ea62bbd952ecd2382b63f4cd370bb (patch) | |
| tree | 7a5bbd28009759b1c787d3df4c4ba5960cd11280 /config | |
| parent | 9cde874de258533a18944602afa62c9e56ac991a (diff) | |
| download | open-axiom-bf21f6c3c98ea62bbd952ecd2382b63f4cd370bb.tar.gz | |
* interp/g-opt.boot (changeVariableDefinitionToStore): New.
(optimizeFunctionDef): Use it.
Diffstat (limited to 'config')
0 files changed, 0 insertions, 0 deletions