diff options
author | Gabriel Dos Reis <gdr@axiomatics.org> | 2015-12-26 22:54:33 -0800 |
---|---|---|
committer | Gabriel Dos Reis <gdr@axiomatics.org> | 2015-12-26 22:54:33 -0800 |
commit | 67662ec6afcd7450d73a1481e676ca5007f8720d (patch) | |
tree | 1cd248994ee34f7006c7f65deff4596ef4022794 /src/testsuite | |
parent | eac54a0152579f2de3fadadfd3f142d895c4b704 (diff) | |
download | open-axiom-67662ec6afcd7450d73a1481e676ca5007f8720d.tar.gz |
Remove dead and bogus code for constant assginments.
Diffstat (limited to 'src/testsuite')
0 files changed, 0 insertions, 0 deletions