diff options
| author | dos-reis <gdr@axiomatics.org> | 2012-06-01 05:16:49 +0000 |
|---|---|---|
| committer | dos-reis <gdr@axiomatics.org> | 2012-06-01 05:16:49 +0000 |
| commit | 04db207b8714da06dd02bdf68163604aeb5e401c (patch) | |
| tree | bb179ec45cb023a7876d213e09568a9aa507c213 /src/testsuite | |
| parent | 90b83d54e3238575238a35c2790439c9c56724ce (diff) | |
| download | open-axiom-04db207b8714da06dd02bdf68163604aeb5e401c.tar.gz | |
* boot/ast.boot (%LoadUnit): Add fields for side conditions.
* boot/parser.boot: Adjust.
Diffstat (limited to 'src/testsuite')
0 files changed, 0 insertions, 0 deletions