From c1719e9ffa7d0536aeed0dbf72ea0854d9d3efd4 Mon Sep 17 00:00:00 2001
From: LeeYoungJoon <68523399+IamYJLee@users.noreply.github.com>
Date: Wed, 19 Mar 2025 08:43:12 +0900
Subject: [PATCH] Fix : typo-in-simplify-tactic (#7587)

---
 src/tactic/core/simplify_tactic.h | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/tactic/core/simplify_tactic.h b/src/tactic/core/simplify_tactic.h
index af0806162..68f70e768 100644
--- 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