From 55cc650bfedffe6271a7d360e21254d590c0be27 Mon Sep 17 00:00:00 2001 From: Alexandre Duret-Lutz Date: Thu, 20 Jan 2005 21:35:10 +0000 Subject: [PATCH] * src/ltlast/formula.hh (formula_ptr_less_than): Two formulae with the same hash key are not necessary equal! --- ChangeLog | 3 +++ src/ltlast/formula.hh | 6 +++++- 2 files changed, 8 insertions(+), 1 deletion(-) diff --git a/ChangeLog b/ChangeLog index 85f181af5..763e0652a 100644 --- a/ChangeLog +++ b/ChangeLog @@ -1,5 +1,8 @@ 2005-01-20 Alexandre Duret-Lutz + * src/ltlast/formula.hh (formula_ptr_less_than): Two + formulae with the same hash key are not necessary equal! + * src/ltlast/formula.hh (hash, dump, dump_, hash_key_): New members. (formula_ptr_less_than, formula_ptr_hash): New class. * src/ltlast/atomic_prop.cc, src/ltlast/binop.cc, diff --git a/src/ltlast/formula.hh b/src/ltlast/formula.hh index 0a678eec6..439f767b8 100644 --- a/src/ltlast/formula.hh +++ b/src/ltlast/formula.hh @@ -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(); } };