typo

Signed-off-by: Nikolaj Bjorner <[email protected]>

src/solver/tactic2solver.cpp

@@ -94,7 +94,7 @@ class tactic2solver : public solver_na2as {
     }
 
     expr_ref_vector get_trail() override {
-        throw default_exception("cannot retrieve trail from solvers created using tactcis");
+        throw default_exception("cannot retrieve trail from solvers created using tactics");
     }
 
     expr_ref get_implied_value(expr* e) override {