From e652b7d2c73a3105aff7d845aef0ad4f1daf578d Mon Sep 17 00:00:00 2001 From: "Christoph M. Wintersteiger" Date: Mon, 14 Dec 2015 16:31:10 +0000 Subject: [PATCH] Follow-up fix for #377. --- 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 c17c19b82..864a92846 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) + 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) + AstRef.__hash__(self) def __ne__(self, other): """Return a Z3 expression that represents the constraint `self != other`.