mirrors/z3
3
0
Fork 0
mirror of https://github.com/Z3Prover/z3 synced 2025-04-06 09:34:08 +00:00
Code Activity

Fix typos. (#7137)

Browse source
This commit is contained in:
Bruce Mitchener 2024-02-23 00:35:15 +07:00 committed by GitHub
parent 785f71b1a6
commit 143a35d370
No known key found for this signature in database
GPG key ID: B5690EEEBB952194
2 changed files with 2 additions and 2 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

2
RELEASE_NOTES.md
View file

@ -12,7 +12,7 @@ Version 4.next
Version 4.12.6 Version 4.12.6
============== ==============
- remove expensive rewrite that coallesces adjacent stores - remove expensive rewrite that coalesces adjacent stores
- improved Java use of reference queues thanks to Thomas Haas #7131 - improved Java use of reference queues thanks to Thomas Haas #7131
- fixes to conditional import of python library thanks to Cal Jacobson #7116 - fixes to conditional import of python library thanks to Cal Jacobson #7116
- include universe for constants that get removed during pre-processing #7121 - include universe for constants that get removed during pre-processing #7121

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

@ -11658,7 +11658,7 @@ class UserPropagateBase:
# #
# Either solver is set or ctx is set. # Either solver is set or ctx is set.
# Propagators that are created throuh callbacks # Propagators that are created through callbacks
# to "fresh" inherit the context of that is supplied # to "fresh" inherit the context of that is supplied
# as argument to the callback. # as argument to the callback.
# This context should not be deleted. It is owned by the solver. # This context should not be deleted. It is owned by the solver.