mirrors/z3
3
0
Fork 0
mirror of https://github.com/Z3Prover/z3 synced 2025-04-10 19:27:06 +00:00
Code Activity

Follow-up fix for #377.

Browse source
This commit is contained in:
Christoph M. Wintersteiger 2015-12-14 16:31:10 +00:00
parent 6f886d0731
commit e652b7d2c7
1 changed files with 2 additions and 2 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

4
src/api/python/z3.py
View file

@ -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`.