Fixing typo

Author: msoos

src/cryptominisat.cpp

@@ -1098,7 +1098,7 @@ DLL_PUBLIC std::string SATSolver::get_text_version_info(const char* prefix)
     ss << prefix << "Using CCAnr from 'CCAnr: A Conf. Checking Based Local Search Solver [...]'" << endl;
     ss << prefix << "      by Shaowei Cai, Chuan Luo, and Kaile Su, SAT 2015" << endl;
     ss << prefix << "Using Oracle code from 'Integrating Tree Decompositions [...]" << endl;
-    ss << prefix << "      by Tuukaa Korhonen and Matti Jarvisalo, CP 2021" << endl;
+    ss << prefix << "      by Tuukka Korhonen and Matti Jarvisalo, CP 2021" << endl;
     ss << prefix << "CMS compilation env " << get_compilation_env() << endl;
     #ifdef __GNUC__
     ss << prefix << "CMS compiled with gcc version " << __VERSION__ << endl;