diff options
author | Gabriel Dos Reis <gdr@axiomatics.org> | 2016-01-31 00:42:06 -0800 |
---|---|---|
committer | Gabriel Dos Reis <gdr@axiomatics.org> | 2016-01-31 00:42:06 -0800 |
commit | afdfc4da685d9988f8675798bad70a4fccdc4e2d (patch) | |
tree | 6b5b060ba5e760c37aee60643a5aca8c56252003 /src/testsuite/compiler/1872564.spad | |
parent | 79f3a421e49a1b5baf5dd9bed6c2d640dac7dc95 (diff) | |
download | open-axiom-afdfc4da685d9988f8675798bad70a4fccdc4e2d.tar.gz |
Remove a couple of global states from the compiler.
Diffstat (limited to 'src/testsuite/compiler/1872564.spad')
0 files changed, 0 insertions, 0 deletions