Merge remote-tracking branch 'origin/python-interface' into python-in…

…terface
cda-tum · Dec 4, 2024 · 9acb053 · 9acb053
2 parents c27082f + f5bc1fb
commit 9acb053
Showing 1 changed file with 2 additions and 2 deletions.
diff --git a/bindings/mnt/pyfiction/include/pyfiction/pybind11_mkdoc_docstrings.hpp b/bindings/mnt/pyfiction/include/pyfiction/pybind11_mkdoc_docstrings.hpp
@@ -5906,8 +5906,8 @@ static const char *__doc_fiction_detail_exact_impl_smt_handler_tile_ite_counters
 R"doc(Constructs a series of expressions to evaluate how many tiles were
 occupied by a given edge. Therefore, all te variables are translated
 to expressions of the form ite(te, 1, 0) which allows for applying
-z3::sum to them. This is a work around because no such api function
-for pseudo boolean exists.
+z3::sum to them. This is a workaround because no such api function for
+pseudo boolean exists.
 
 Parameter ``e``:
     Edge to consider.