improve submit alert

ckrause · ckrause · commit b1a54b9cee1a · 2025-08-28T21:59:27.000+02:00
diff --git a/src/mine/mine_manager.cpp b/src/mine/mine_manager.cpp
@@ -628,6 +628,9 @@ void MineManager::alert(Program p, UID id, const std::string &prefix,
   const auto &seq = sequences.get(id);
   std::string msg, full;
   msg = prefix + " program for " + seq.string();
+  if (msg[msg.size() - 1] != '.') {
+    msg += ".";
+  }
   full = msg + " Terms: " + seq.getTerms(settings.num_terms).to_string();
   FormulaGenerator generator;
   Formula formula;
