Fix : typo-in-simplify-tactic (#7587)

IamYJLee · web-flow · commit c1719e9ffa7d · 2025-03-18T13:43:12.000-10:00
diff --git a/src/tactic/core/simplify_tactic.h b/src/tactic/core/simplify_tactic.h
@@ -19,7 +19,7 @@ Tactic Documentation:
 
 ### Short Description:
 
-The tactic performs algebraic simplifcations on formulas
+The tactic performs algebraic simplifications on formulas
 
 ### Long Description
 
