diff options
| author | Eelco Dolstra <eelco.dolstra@logicblox.com> | 2013-08-06T12·15+0200 |
|---|---|---|
| committer | Eelco Dolstra <eelco.dolstra@logicblox.com> | 2013-08-06T12·15+0200 |
| commit | fd7d979c79759e5db68e4b62b3550a3906f67d40 (patch) | |
| tree | ac8f5d16bc93c393ae8c386d1ccd93629c442059 /src/libexpr/names.cc | |
| parent | 46ffcce0c355ee16075b4ba216bc0aea054143aa (diff) | |
Remove obsolete reference to ATerms
Diffstat (limited to 'src/libexpr/names.cc')
0 files changed, 0 insertions, 0 deletions