Skip to content

Commit ad95e8d

Browse files
kiranandcodekiranandcode
committed
Remove dead _CharSortRef alias
1 parent 23e1444 commit ad95e8d

1 file changed

Lines changed: 0 additions & 4 deletions

File tree

‎lean_py/z3/core.py‎

Lines changed: 0 additions & 4 deletions
Original file line numberDiff line numberDiff line change
@@ -3865,10 +3865,6 @@ class CharSortRef(SortRef):
38653865
pass
38663866

38673867

3868-
# Keep old name as alias
3869-
_CharSortRef = CharSortRef
3870-
3871-
38723868
class CharRef(ExprRef):
38733869
"""Character expression."""
38743870

0 commit comments

Comments
 (0)