Accept -=key:

Driver did not accept, e.g., -=lim:, despite being documented
ampl · Jan 12, 2024 · ff311a7 · ff311a7
1 parent f43a2ac
commit ff311a7
Showing 1 changed file with 5 additions and 3 deletions.
diff --git a/src/solver.cc b/src/solver.cc
@@ -355,13 +355,15 @@ bool SolverAppOptionParser::ShowSolverOptionsASL() {
   }
   return false;
 }
+
 bool contains(const char* name, const char* substr) {
   std::string n(name);
-  std::string sub = fmt::format("{}:", substr);
+  std::string sub {substr};
+  if (sub.empty() || sub.back()!=':')   // does not end with ':'
+    sub.push_back(':');
   return n.find(sub) != std::string::npos;
-
-
 }
+
 bool SolverAppOptionParser::ShowSolverOptions(const char* param) {
   fmt::MemoryWriter writer;
   const char* option_header = solver_.option_header();