1 files changed, 1 insertions, 1 deletions
diff --git a/src/theory/theory_engine.h b/src/theory/theory_engine.h
index fad6c1839..9abdaa034 100644
--- a/src/theory/theory_engine.h
+++ b/src/theory/theory_engine.h
@@ -299,7 +299,7 @@ class TheoryEngine {
       NodeManager* curr = NodeManager::currentNM();
       Node restartVar =  curr->mkSkolem("restartVar",
                                         curr->booleanType(),
-                                        "A boolean variable assrted to be true to force a restart");
+                                        "A boolean variable asserted to be true to force a restart");
       Trace("theory::restart") << "EngineOutputChannel<" << d_theory << ">::restart(" << restartVar << ")" << std::endl;
       ++ d_statistics.restartDemands;
       lemma(restartVar, true);