diff options
| author | Gabriel Dos Reis <gdr@axiomatics.org> | 2016-01-08 22:36:19 -0800 |
|---|---|---|
| committer | Gabriel Dos Reis <gdr@axiomatics.org> | 2016-01-08 22:36:19 -0800 |
| commit | 2ef9a67216e957e9e80d882597524ce52792a8dc (patch) | |
| tree | bad64aea63b95026658704c92bd97e8054d6c3eb /src/testsuite/compiler/1872445.spad | |
| parent | 02602cec744a60cb096048f1637c17759f57e66b (diff) | |
| download | open-axiom-2ef9a67216e957e9e80d882597524ce52792a8dc.tar.gz | |
Remove dead codes.
Diffstat (limited to 'src/testsuite/compiler/1872445.spad')
0 files changed, 0 insertions, 0 deletions