From a892e4793bdc384be545fd7b982389db27b0c664 Mon Sep 17 00:00:00 2001
From: Nikolaj Bjorner <nbjorner@microsoft.com>
Date: Thu, 13 Aug 2020 12:48:13 -0700
Subject: [PATCH] typo

Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
---
 src/solver/tactic2solver.cpp | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/solver/tactic2solver.cpp b/src/solver/tactic2solver.cpp
index 8456b1254..c4bd6b419 100644
--- a/src/solver/tactic2solver.cpp
+++ b/src/solver/tactic2solver.cpp
@@ -94,7 +94,7 @@ public:
     }
 
     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 {