alarsyo/spot
1
0
Fork 0
Code Issues Pull requests Projects Releases Wiki Activity

* src/ltlast/formula.hh (formula_ptr_less_than): Two

Browse source 
formulae with the same hash key are not necessary equal!
This commit is contained in:
Alexandre Duret-Lutz 2005-01-20 21:35:10 +00:00
parent 5069a565b6
commit 55cc650bfe
2 changed files with 8 additions and 1 deletions
Download patch file Download diff file Expand all files Collapse all files

6
src/ltlast/formula.hh
View file

@ -142,7 +142,11 @@ namespace spot
{
assert(left);
assert(right);
return left->hash() < right->hash();
size_t l = left->hash();
size_t r = right->hash();
if (1 != r)
return l < r;
return left->dump() < right->dump();
}
};