diff options
| author | Gabriel Dos Reis <gdr@axiomatics.org> | 2016-01-22 08:25:59 -0800 |
|---|---|---|
| committer | Gabriel Dos Reis <gdr@axiomatics.org> | 2016-01-22 08:25:59 -0800 |
| commit | 7b6b9b1e80d0fe90a9009864f107735d244aa0d7 (patch) | |
| tree | f1c17e82882d683f13a60ba64ae75f14ec4b529a /src/utils/hammer.cc | |
| parent | bb57192d02a82f2236857bcbd2accca4f01f4395 (diff) | |
| download | open-axiom-7b6b9b1e80d0fe90a9009864f107735d244aa0d7.tar.gz | |
Remove antiquated syntax for operator declaration.
Diffstat (limited to 'src/utils/hammer.cc')
0 files changed, 0 insertions, 0 deletions