mirror of
https://github.com/Z3Prover/z3
synced 2025-04-06 09:34:08 +00:00
Fix : typo-in-simplify-tactic (#7587)
This commit is contained in:
parent
2e2a2e28df
commit
c1719e9ffa
|
@ -19,7 +19,7 @@ Tactic Documentation:
|
|||
|
||||
### Short Description:
|
||||
|
||||
The tactic performs algebraic simplifcations on formulas
|
||||
The tactic performs algebraic simplifications on formulas
|
||||
|
||||
### Long Description
|
||||
|
||||
|
|
Loading…
Reference in a new issue