From 023c564839a9930f39f89e47c3314ac9b1b36885 Mon Sep 17 00:00:00 2001 From: Nikolaj Bjorner Date: Thu, 7 Jan 2016 20:10:54 -0800 Subject: [PATCH] Issue #406 Signed-off-by: Nikolaj Bjorner --- src/api/python/z3.py | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/src/api/python/z3.py b/src/api/python/z3.py index 77af10463..afdca7464 100644 --- a/src/api/python/z3.py +++ b/src/api/python/z3.py @@ -536,7 +536,7 @@ class SortRef(AstRef): def __hash__(self): """ Hash code. """ - AstRef.__hash__(self) + return AstRef.__hash__(self) def is_sort(s): """Return `True` if `s` is a Z3 sort. @@ -802,7 +802,7 @@ class ExprRef(AstRef): def __hash__(self): """ Hash code. """ - AstRef.__hash__(self) + return AstRef.__hash__(self) def __ne__(self, other): """Return a Z3 expression that represents the constraint `self != other`.