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-2799773.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-2799773.input')
0 files changed, 0 insertions, 0 deletions