Fixing another typo

Author: msoos

src/cryptominisat.cpp

@@ -1097,7 +1097,7 @@ DLL_PUBLIC std::string SATSolver::get_text_version_info(const char* prefix)
     ss << prefix << "      by C.-S. Han and J.-H. Roland Jiang in CAV 2012. Fixes by M. Soos" << endl;
     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 << "Using Oracle code from 'Integrating Tree Decompositions [...]'" << endl;
     ss << prefix << "      by Tuukka Korhonen and Matti Jarvisalo, CP 2021" << endl;
     ss << prefix << "CMS compilation env " << get_compilation_env() << endl;
     #ifdef __GNUC__