diff options
| author | Dejan Jovanović <dejan.jovanovic@gmail.com> | 2010-02-26 02:25:52 +0000 |
|---|---|---|
| committer | Dejan Jovanović <dejan.jovanovic@gmail.com> | 2010-02-26 02:25:52 +0000 |
| commit | 73265c6f26b735894375aa9d793d7165848b16e7 (patch) | |
| tree | c0d4e6f9f6792ca6eff5e38ce36ced129d3752b1 /src/theory/uf/theory_uf.cpp | |
| parent | bfab2bde219a0cda230fb2f26d89d123918a219f (diff) | |
Changing the hashing in attributes to what Nodes do, i.e. hash on the id of the node-value. This keeps coming up so we should rename the .hash() method in the node-value to something else. Morgan, feel free to change, but I had to go in as we were stuck on infinite parsing again.
Diffstat (limited to 'src/theory/uf/theory_uf.cpp')
0 files changed, 0 insertions, 0 deletions