spelling

Z3Prover · Jun 1, 2021 · ba56bfa · ba56bfa
1 parent e2c5e2e
commit ba56bfa
Showing 1 changed file with 3 additions and 3 deletions.
diff --git a/src/cmd_context/tactic_cmds.cpp b/src/cmd_context/tactic_cmds.cpp
@@ -166,9 +166,9 @@ struct check_sat_tactic_result : public simple_check_sat_result {
   }
 };
 
-class check_sat_using_tactict_cmd : public exec_given_tactic_cmd {
+class check_sat_using_tactic_cmd : public exec_given_tactic_cmd {
 public:
-    check_sat_using_tactict_cmd():
+    check_sat_using_tactic_cmd():
         exec_given_tactic_cmd("check-sat-using") {
     }
 
@@ -397,7 +397,7 @@ void install_core_tactic_cmds(cmd_context & ctx) {
     ctx.insert(alloc(declare_tactic_cmd));
     ctx.insert(alloc(get_user_tactics_cmd));
     ctx.insert(alloc(help_tactic_cmd));
-    ctx.insert(alloc(check_sat_using_tactict_cmd));
+    ctx.insert(alloc(check_sat_using_tactic_cmd));
     ctx.insert(alloc(apply_tactic_cmd));
     install_tactics(ctx);
 }