diff options
| author | dos-reis <gdr@axiomatics.org> | 2012-05-03 21:17:53 +0000 |
|---|---|---|
| committer | dos-reis <gdr@axiomatics.org> | 2012-05-03 21:17:53 +0000 |
| commit | 3ac22c456c1d00c35957e7dad2bf10e7294ac6d5 (patch) | |
| tree | b786ecd64897ca1e0b004c0b765316db0d033c38 /src/input/d01gbf.input.pamphlet | |
| parent | 6fc86e66f58fb9a9265121b847e7227ee133fd5b (diff) | |
| download | open-axiom-3ac22c456c1d00c35957e7dad2bf10e7294ac6d5.tar.gz | |
* interp/g-opt.boot ($AbstractionOperator): Remove SLAM.
* interp/c-util.boot (backendCompileSLAM): Remove.
(backendCompileSPADSLAM): Tidy.
(backendCompile2): Adjust.
Diffstat (limited to 'src/input/d01gbf.input.pamphlet')
0 files changed, 0 insertions, 0 deletions