diff options
| author | dos-reis <gdr@axiomatics.org> | 2012-08-20 07:17:59 +0000 |
|---|---|---|
| committer | dos-reis <gdr@axiomatics.org> | 2012-08-20 07:17:59 +0000 |
| commit | 4fc6c2ba4569effe346fd6f498b6ab55afe446cf (patch) | |
| tree | 56e01a3490abd8f2f007e4be147cdb317ec46377 /src/testsuite/interpreter/sf-2875134.input | |
| parent | 1c6564be2725c2e68180cdd4c9899765c8452c7a (diff) | |
| download | open-axiom-4fc6c2ba4569effe346fd6f498b6ab55afe446cf.tar.gz | |
* input/sint.input.pamphlet: Use /\$SingleInteger, not defunct
And$SingleInteger.
Diffstat (limited to 'src/testsuite/interpreter/sf-2875134.input')
0 files changed, 0 insertions, 0 deletions