From 143a35d370f6b212180caf50674c5328fb3890ff Mon Sep 17 00:00:00 2001 From: Bruce Mitchener Date: Fri, 23 Feb 2024 00:35:15 +0700 Subject: [PATCH] Fix typos. (#7137) --- RELEASE_NOTES.md | 2 +- src/api/python/z3/z3.py | 2 +- 2 files changed, 2 insertions(+), 2 deletions(-) diff --git a/RELEASE_NOTES.md b/RELEASE_NOTES.md index a0d8d4510..9b041c07e 100644 --- a/RELEASE_NOTES.md +++ b/RELEASE_NOTES.md @@ -12,7 +12,7 @@ Version 4.next 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 - fixes to conditional import of python library thanks to Cal Jacobson #7116 - include universe for constants that get removed during pre-processing #7121 diff --git a/src/api/python/z3/z3.py b/src/api/python/z3/z3.py index 1bfd987d6..16db39afd 100644 --- a/src/api/python/z3/z3.py +++ b/src/api/python/z3/z3.py @@ -11658,7 +11658,7 @@ class UserPropagateBase: # # 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 # as argument to the callback. # This context should not be deleted. It is owned by the solver.