From 58d7dcbf4f222796b1225e2112d65d9533630206 Mon Sep 17 00:00:00 2001 From: LeeYoungJoon <68523399+IamYJLee@users.noreply.github.com> Date: Tue, 18 Mar 2025 15:06:13 +0900 Subject: [PATCH] Fix : typo-in-simplify-tactic --- 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