update hash #2579

Signed-off-by: Nikolaj Bjorner <[email protected]>
Z3Prover · Sep 24, 2019 · 38ad66c · 38ad66c
1 parent 1203af8
commit 38ad66c
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/src/util/mpq.h b/src/util/mpq.h
@@ -521,7 +521,7 @@ class mpq_manager : public mpz_manager<SYNCH> {
 
     static unsigned hash(mpz const & a) { return mpz_manager<SYNCH>::hash(a); }
 
-    static unsigned hash(mpq const & a) { return hash(a.m_num); }
+    static unsigned hash(mpq const & a) { return hash(a.m_num) + 3*hash(a.m_den); }
 
     bool eq(mpz const & a, mpz const & b) { return mpz_manager<SYNCH>::eq(a, b); }