diff options
| author | dos-reis <gdr@axiomatics.org> | 2008-12-03 14:08:08 +0000 |
|---|---|---|
| committer | dos-reis <gdr@axiomatics.org> | 2008-12-03 14:08:08 +0000 |
| commit | b18855381e61c452349e46e79e9b83ebd1a94dee (patch) | |
| tree | bf0cdbe0e46bb9611bedfe5b3e8af69242f11ec7 /src/testsuite | |
| parent | 9ae0de86f9c72d88a5c1bd66b1e75a13b9387e05 (diff) | |
| download | open-axiom-b18855381e61c452349e46e79e9b83ebd1a94dee.tar.gz | |
* interp/compiler.boot (compIs): Error if left operand is not a
domain expression.
Diffstat (limited to 'src/testsuite')
0 files changed, 0 insertions, 0 deletions